Process Discovery Using Prior Knowledge. - Aubrey J. Rembert; Amos Omokpo; Pietro Mazzoleni; Richard Goodwin (ICSOC, 2013)