M.  de Leoni, Lanciano, G., and Marrella, A., ?A Tool for Aligning Event Logs and Prescriptive Process Models through Automated Planning?, in Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017.