Online conformance checking: relating event streams to process models using prefix-alignments
Process Mining: Data Science in Action