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.