Using context overlays to analyse the role of a priori information with Process Mining | IEEE Conference Publication | IEEE Xplore