Abughres, Wael, Mohamed Mgheder, and Ahmed Abdurrman. 2017. “Modelling, Specification, and Evaluation Language (MOSEL-2) Overview”. Journal of Pure & Applied Sciences 16 (1): 31-46. https://doi.org/10.51984/jopas.v16i1.24.