• 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.

    https://doi.org/10.1007/s10270-017-0590-0

  • 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).

    https://doi.org/10.1007/978-3-642-33826-7_23

  • 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).

    https://doi.org/10.1007/978-3-642-11811-1_19

  • 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.

    https://doi.org/10.1016/j.entcs.2009.12.025

  • Staines A. Modeling UML software design patterns using fundamental modeling concepts (FMC). Proceedings of the 2nd conference on European computing conference. (192-197).

    /doi/10.5555/1562423.1562458