Goran Frehse PHAVer: algorithmic verification of hybrid systems past HyTech. 263-279 2008 10 STTT 3 http://dx.doi.org/10.1007/s10009-007-0062-x db/journals/sttt/sttt10.html#Frehse08