Mining business rules from business process model repositories · Study