K. G. Larsen, U. Nyman, and A. Wasowski, “An Interface Theory for Input/Output Automata”, BRICS, vol. 13, no. 11, Jun. 2006.