Single-Entry Single-Exit decomposed conformance checking | Publicación