Conformance checking with different levels of granularity : A case study on bariatric surgery | IEEE Conference Publication | IEEE Xplore