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 Apr. 26];40(5):1080–1107. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/2021_5_1080