Verification of hybrid systems: Formalization and proof rules in PVS. (2001)

by E Ábrahám-Mumm, M Steffen, U Hannemann
Venue:In ICECCS