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