Maarouk, Toufik Messaoud, et al. “Formalization and Model Checking of BPMN Collaboration Diagrams With DD-LOTOS”. Computing and Informatics, vol. 40, no. 5, Dec. 2021, pp. 1080–1107, doi:10.31577/cai_2021_5_1080.