Service Mining: Using Process Mining to Discover, Check, and Improve Service Behavior | IEEE Journals & Magazine | IEEE Xplore