Conference Translating timed I/O automata specifications for theorem proving in PVS 2005 • Lecture Notes in Computer Science • 3829 LNCS:17-31 Lim H, Kaynar D, Lynch N, Mitra S
Journal Article Decomposing verification of timed I/O automata 2004 • Lecture Notes in Computer Science • 3253:84-101 Kaynar DK, Lynch N
Conference Timed I/O automata: A mathematical framework for modeling and analyzing real-time systems 2003 • Proceedings - Real-Time Systems Symposium • 166-177 Kaynar DK, Lynch N, Segala R, Vaandrager F