Wael S. Abughres , Mohamed A. Mgheder , Ahmed B. Abdurrman, “Modelling, Specification, and Evaluation Language (MOSEL-2) Overview”, JOPAS, vol. 16, no. 1, Aug. 2017.