Translating message sequence charts to other process languages using process mining by B.F. van Dongen, K.B. Larsen & W.M.P. van der Aalst