ptolemy.domains.modal.modal.ModalRefinement
Below are demonstration models that use ptolemy.domains.modal.modal.ModalRefinement
ptolemy/demo/ElectricPowerSystem/GeneratorRegulatorProtectorWithSpecification.xml#SpecificationMonitor
ptolemy/demo/ElectricPowerSystem/GeneratorRegulatorProtectorWithSpecificationAsAspect.xml#SpecificationMonitor.SpecificationMonitor