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 (Aug. 2017). DOI:https://doi.org/10.51984/jopas.v16i1.24.