Stage-based discovery of business process models from event logs. (September 2019)