Modelling, Specification, and Evaluation Language (MOSEL-2) Overview. Journal of Pure & Applied Sciences , [S. l.], v. 16, n. 1, 2017. DOI: 10.51984/jopas.v16i1.24. Disponível em: https://sebhau.edu.ly/journal/jopas/article/view/24. Acesso em: 20 jan. 2026.