@book{15990, author = {Kaynar, Dilsun K.}, title = {The Theory of Timed I/O Automata /}, publisher = {Morgan & Claypool Publishers,}, year = {2011.}, series = {Synthesis lectures on distributed computing theory ;}, address = {California : }, edition = {2a ed.} }