Wael S. Abughres , Mohamed A. Mgheder , Ahmed B. Abdurrman (2017) “Modelling, Specification, and Evaluation Language (MOSEL-2) Overview”, Journal of Pure & Applied Sciences , 16(1). doi: 10.51984/jopas.v16i1.24.