Animation of BPMN business processes models - Roque, Marco André Marques (2014)