Maarouk, T. M.; Souidi, M. E. H.; Hoggas, N. Formalization and Model Checking of BPMN Collaboration Diagrams With DD-LOTOS. Comput. Inform. 2021, 40, 1080–1107.