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 June 16, 2021. https://journals.agh.edu.pl/csci/article/view/3478.