Process Mining in Healthcare: Analysis and Modeling of Processes in the Emergency Area | IEEE Journals & Magazine | IEEE Xplore