Conformance Checking - Carmona; Solti, Andreas; van Dongen, Boudewijn; Weidlich, Matthias (Springer International Publishing, 2018)