Wiktor B. Daszczuk, Jakub Jalowiec. Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS). In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, Dominik Slezak, editors, Communication Papers of the 18th Conference on Computer Science and Intelligence Systems, FedCSIS 2023, Warsaw, Poland, September 17-20, 2023. Volume 37 of Annals of Computer Science and Information Systems, pages 65-74, 2023. [doi]