W. Abughres, M. Mgheder, and A. Abdurrman, “Modelling, Specification, and Evaluation Language (MOSEL-2) Overview”, JOPAS, vol. 16, no. 1, pp. 31–46, Aug. 2017, doi: 10.51984/jopas.v16i1.24.