Mining Hybrid Business Process Models: A Quest for Better Precision · Study