Wael S. Abughres , Mohamed A. Mgheder , Ahmed B. Abdurrman. Modelling, Specification, and Evaluation Language (MOSEL-2) Overview. JOPAS [Internet]. 2017 Aug. 1 [cited 2024 May 17];16(1). Available from: https://sebhau.edu.ly/journal/jopas/article/view/24