Contains the keyword formal semantics
Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems. Software and Systems Modeling. 2020;19(Interplay of Model-Driven and Component-Based Software Engineering). Abstract
{VPM}: A visual, precise and multilevel metamodeling framework for describing mathematical domains and {UML}. Journal of Software and Systems Modeling. 2003;2:187-210. Abstract
