Timed I/O automata: A mathematical framework for modeling and analyzing real-time system (2003)

by D K Kaynar, N A Lynch, R Segala, F Vaandrager
Venue:In RTSS 2003: The 24th IEEE International Real-Time Systems Symposium, Cancun,Mexico