Enhancing the correctness of BPMN models - Correia, A.; Brito e Abreu, F. (Sustainable business: Concepts, methodologies, tools, and applications, 2020)