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