de Leoni, M.; Lanciano, G.; Marrella, A. Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning. ICAPS 2018, 28, 321-329.