Bahareh Badban Martin Fränzle Jan Peleska Tino Teige Test automation for hybrid systems. 14-21 2006 conf/soqua/2006 SOQUA http://doi.acm.org/10.1145/1188895.1188902 db/conf/soqua/soqua2006.html#BadbanFPT06