Modelling, Specification, and Evaluation Language (MOSEL-2) Overview. (2017). Journal of Pure & Applied Sciences , 16(1). https://doi.org/10.51984/jopas.v16i1.24