Maarouk, T. M., Souidi, M. E. H., & Hoggas, N. (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