Efficient deviation detection between a process model and event logs | IEEE Journals & Magazine | IEEE Xplore