Verification via digitized models of real-time hybrid systems | IEEE Conference Publication | IEEE Xplore