Business Process Analysis in Healthcare Environments: a Methodology based on Process Mining
Workflow Patterns