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