Business Process Mining Using Guided Local Search | IEEE Conference Publication | IEEE Xplore