REACH: Researching Efficient Alignment-based Conformance Checking | Publicación