Maarouk, T. M., Souidi, M. E. H. and Hoggas, N. (2021) “Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS”, Computing and Informatics, 40(5), pp. 1080–1107. doi: 10.31577/cai_2021_5_1080.