ptolemy.domains.modal.modal.ModalRefinement

Below are demonstration models that use ptolemy.domains.modal.modal.ModalRefinement