Checking and improving business process models in BPMN2 - Barona, Hugo Miguel Salva (2015)