Maarouk, Toufik Messaoud, Mohammed El Habib Souidi, and Nadia Hoggas. “Formalization and Model Checking of BPMN Collaboration Diagrams With DD-LOTOS”. COMPUTING AND INFORMATICS 40, no. 5 (December 31, 2021): 1080–1107. Accessed April 20, 2024. https://www.cai.sk/ojs/index.php/cai/article/view/2021_5_1080.