ELMANSOURI, Raida; MEGHZILI, Said; CHAOUI, Allaoua. A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. Computer Science, [S. l.], v. 22, n. 2, 2021. DOI: 10.7494/csci.2021.22.2.3478. Disponível em: https://journals.agh.edu.pl/csci/article/view/3478. Acesso em: 14 mar. 2025.