Abughres, Wael, Mohamed Mgheder, and Ahmed Abdurrman. “Modelling, Specification, and Evaluation Language (MOSEL-2) Overview”. Journal of Pure & Applied Sciences 16, no. 1 (August 1, 2017): 31–46. Accessed July 22, 2026. https://www.sebhau.edu.ly/journal/jopas/article/view/24.