Optimization model for healthcare processes using Process Mining | IEEE Conference Publication | IEEE Xplore