Alessandro D'Innocenzo Maria Domenica Di Benedetto Stefano Di Gennaro Observability of Hybrid Automata by Abstraction. 169-183 2006 conf/hybrid/2006 HSCC http://dx.doi.org/10.1007/11730637_15 db/conf/hybrid/hscc2006.html#DInnocenzoBG06