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