Zohar Manna Amir Pnueli Verifying Hybrid Systems. 4-35 1992 conf/hybrid/1992 Hybrid Systems db/conf/hybrid/hybrid92.html#MannaP92