Correia, A. & Brito e Abreu, F. (2020). Enhancing the correctness of BPMN models. In Information Resources Management Association (Ed.), Sustainable business: Concepts, methodologies, tools, and applications. (pp. 373-394). Hershey: IGI Global.