Process Mining in IT Service Management: A Case Study. - Borja Vázquez-Barreiros; David Chapela; Manuel Mucientes; Manuel Lama; Diego Berea (ATAED@Petri Nets/ACSD, 2016)