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