Andreas Bauer 0002 Markus Pister Michael Tautschnig Tool-support for the analysis of hybrid systems and models. 924-929 2007 conf/date/2007 DATE http://doi.acm.org/10.1145/1266366.1266565 db/conf/date/date2007.html#BauerPT07