Modeling and Monitoring Business Process Execution. - Piergiorgio Bertoli; Mauro Dragoni; Chiara Ghidini; Emanuele Martufi; Michele Nori; Marco Pistore; Chiara Di Francescomarino (ICSOC, 2013)