Boudewijn F. van Dongen, Josep Carmona, Thomas Chatain, Farbod Taymouri: Aligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Quality. CAiSE 2017: 94-109