The Theory of Timed I/O Automata (2006)

by D K Kaynar, N Lynch, R Segala, F Vaandrager