Oded Maler Grégory Batt Approximating Continuous Systems by Timed Automata. 77-89 2008 FMSB http://dx.doi.org/10.1007/978-3-540-68413-8_6 conf/fmsb/2008 db/conf/fmsb/fmsb2008.html#MalerB08