Joshua A. Tauber and Stephen J. Garland. Definition and Expansion of Composite Automata in IOA. Technical Report MIT-LCS-TR-959, Massachusetts Institute of Technology, Cambridge, MA, July 2004.
The IOA language provides notations for defining both primitive and composite I/O automata. This note describes, both formally and with examples, the constraints on these definitions, the composability requirements for the components of a composite automaton, and the transformation of a composite automaton into an equivalent primitive automaton.