Discovery and Simulation of Business Processes with Probabilistic Resource Availability Calendars | IEEE Conference Publication | IEEE Xplore