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