A BPMN-Based Automated Approach for the Analysis of Healthcare Processes · Study