Conference Translating Timed I/O Automata Specifications for Theorem Proving in PVS 2005 • Lecture Notes in Computer Science • 3829: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
