Verification of hybrid systems: formalization and proof rules in PVS | IEEE Conference Publication | IEEE Xplore