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