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 (Apr. 2021). DOI:https://doi.org/10.7494/csci.2021.22.2.3478.