ELMANSOURI, R.; MEGHZILI, S.; CHAOUI, A. 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: 16 jun. 2021.