Publication January 1, 2010 Conference PaperSynthesizing Switching Logic for Safety and Dwell-Time Requirements SRI International January 1, 2010 ↓ View online Share this