“Modelling, Specification, and Evaluation Language (MOSEL-2) Overview”. Journal of Pure & Applied Sciences 16, no. 1 (August 1, 2017). Accessed January 30, 2026. https://www.sebhau.edu.ly/journal/jopas/article/view/24.