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