T. M. Maarouk, M. E. H. Souidi, and N. Hoggas, “Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS”, Comput. Inform., vol. 40, no. 5, pp. 1080–1107, Dec. 2021.