Tikhonova U.
(2019). Reusable specification templates for defining dynamic semantics of DSLs. Software and Systems Modeling (SoSyM). 18:1. (691-720). Online publication date: 1-Feb-2019.
Matichuk D and Murray T. Extensible specifications for automatic re-use of specifications and proofs. Proceedings of the 10th international conference on Software Engineering and Formal Methods. (333-341).
Filali-Amine M and Lawall J. Development of a synchronous subset of AADL. Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z. (245-258).
Ruhroth T and Wehrheim H.
(2009). Static Class Elements for Object-Z. Electronic Notes in Theoretical Computer Science (ENTCS). 259. (193-205). Online publication date: 1-Dec-2009.
Staines A. Modeling UML software design patterns using fundamental modeling concepts (FMC). Proceedings of the 2nd conference on European computing conference. (192-197).