Bridging the Gap between Process Mining and DES Modeling in the Healthcare Domain | IEEE Conference Publication | IEEE Xplore