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