A.: Logics for hybrid systems (2000)

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