RTLS-based Process Mining: Towards an automatic process diagnosis in healthcare | IEEE Conference Publication | IEEE Xplore