Support for Interface Automatons. Interface automata is an automata model defined by de Alfaro and Henzinger in the paper "
Interface Automata
".
@since Ptolemy II 2.0