Explaining Non-compliance of Business Process Models Through Automated Planning. - Fabrizio Maria Maggi; Andrea Marrella; Giuseppe Capezzuto; Abel Armas-Cervantes (ICSOC, 2018)