Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems.

Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Browse the full RTSS paper archive.