Verification via digitized models of real-time hybrid systems | Publicación