Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS. - Toufik Messaoud Maarouk; Mohammed El Habib Souidi; Nadia Hoggas (Comput. Informatics, 2021)