Maarouk, Toufik Messaoud, Mohammed El Habib Souidi, and Nadia Hoggas. 2021. “Formalization and Model Checking of BPMN Collaboration Diagrams With DD-LOTOS”. COMPUTING AND INFORMATICS 40 (5):1080–1107. https://doi.org/10.31577/cai_2021_5_1080.