Extensions for Synchronous Behavior Extensions for Domains Subset of SysMLModelica used It was used stereotypes to maintain the abstract syntax of UML unchanged, so all tools for defining, reading and transforming models can be used. Only ControlNode can be marked as pausable, pause is a control feature