Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS). - Wiktor B. Daszczuk; Jakub Jalowiec (FedCSIS (Communication Papers), 2023)