ptolemy.domains.modal.kernel.fmv.FmvAutomaton
Below are demonstration models that use ptolemy.domains.modal.kernel.fmv.FmvAutomaton
ptolemy/verification/demo/SimpleTrafficLight/SimpleTrafficLightGraphicalSpec.xml