Aligning Data-Aware Declarative Process Models and Event Logs · Study