Logics for hybrid systems (2000)

by J M Davoren, A Nerode
Venue:Proceedings of the IEEE