Elmansouri R, Meghzili S, Chaoui A. A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. csci [Internet]. 2021 Apr. 15 [cited 2025 Mar. 14];22(2). Available from: https://journals.agh.edu.pl/csci/article/view/3478