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

by Chaochen Zhou, Anders P Ravn, Michael R Hansen
Venue:In Grossman et al. [GNRR93