Mining Hierarchies of Models: From Abstract Views to Concrete Specifications · Study