Performance Analysis: Discovering Semi-Markov Models From Event Logs | IEEE Journals & Magazine | IEEE Xplore