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