A. C. Correia and F. M. Abreu,  "Enhancing the correctness of BPMN models", in Sustainable business: Concepts, methodologies, tools, and applications, Information Resources Management Association , Ed., Hershey, IGI Global, 2020, pp. 373-394