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