Timed I/O Automata: a mathematical framework for modelling and analyzing real-time systems (2003)

by D Kaynar, N Lynch, R Segala, F Vaandrager
Venue:In Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS03