Elmansouri, Raida, Said Meghzili, and Allaoua Chaoui. 2021. “A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems”. Computer Science 22 (2). https://doi.org/10.7494/csci.2021.22.2.3478.