Workshift Scheduling Using Optimization and Process Mining Techniques: An Application in Healthcare | IEEE Conference Publication | IEEE Xplore