QPR ProcessAnalyzer - automated business process discovery in a nutshell