Controlled automated discovery of collections of business process models · Study