A Survey of Tool Support for the Animation of IT Services Process Models Execution - Marco Roque; Brito e Abreu, Fernando Manuel Pereira da Costa (2013)