Abughres, W.; Mgheder, M.; Abdurrman, A. Modelling, Specification, and Evaluation Language (MOSEL-2) Overview. JOPAS 2017, 16 (1), 31-46. https://doi.org/10.51984/jopas.v16i1.24.