Verification and Synthesis of Hybrid SystemsEugine Asarin, Thao Dang, Oded Maler · First published 2006Open the Tome
