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 November 7, 2024. http://147.213.75.17/ojs/index.php/cai/article/view/2021_5_1080.