Elmansouri, Raida, Said Meghzili, and Allaoua Chaoui. “A UML 2.0 Activity Diagrams CSP Integrated Approach for Modeling and Verification of Software Systems”. Computer Science 22, no. 2 (April 15, 2021). Accessed March 14, 2025. https://journals.agh.edu.pl/csci/article/view/3478.