Empowering conformance checking using Big Data through horizontal decomposition | Publicación