Wael S. Abughres , Mohamed A. Mgheder , Ahmed B. Abdurrman. “Modelling, Specification, and Evaluation Language (MOSEL-2) Overview”. Journal of Pure & Applied Sciences 16, no. 1 (August 1, 2017). Accessed November 24, 2024. https://sebhau.edu.ly/journal/jopas/article/view/24.