Logics for hybrid systems (2000)

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