Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States.

Martin Fränzle Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States. 126-140 1999 conf/csl/1999 CSL db/conf/csl/csl99.html#Franzle99 http://dx.doi.org/10.1007/3-540-48168-0_10