Christian Herde Andreas Eggers Martin Fränzle Tino Teige Analysis of Hybrid Systems Using HySAT. 196-201 2008 ICONS http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.17 conf/icons/2008 db/conf/icons/icons2008.html#HerdeEFT08