Maarouk TM, Souidi MEH, Hoggas N. Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS. Comput. Inform. [Internet]. 2021 Dec. 31 [cited 2024 Nov. 7];40(5):1080–1107. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/2021_5_1080