Analyzing a TCP/IP-Protocol with Process Mining Techniques. - Christian Wakup; Jörg Desel (Business Process Management Workshops, 2014)