Dilsun Kaynar

Theory of Timed I/o Automata, Second Edition