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