Larsen, K. G.; Nyman, U.; Wasowski, A. An Interface Theory for Input/Output Automata. BRICS 2006, 13.