A BPMN-Based Automated Approach for the Analysis of Healthcare Processes | IEEE Conference Publication | IEEE Xplore