R. Elmansouri, S. Meghzili, and A. Chaoui, “A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems”, csci, vol. 22, no. 2, Apr. 2021.