Maarouk, T.M. et al. 2021. Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS. Computing and Informatics. 40, 5 (Dec. 2021), 1080–1107. DOI:https://doi.org/10.31577/cai_2021_5_1080.