An extended duration calculus for hybrid real-time systems (1993)

by Zhou Chaochen, A P Ravn, M R Hansen
Venue:Hybrid Systems, LNCS 736