Before revision:  Two of the models are so called assignment and partial-ordering based models, which yield (up to our knowledge) the best two state-of-the-art formulations for the problem variant Steiner tree problem with revenues, budgets  and hop constraints.
After revision:  Two of the models are so-called assignment and partial-ordering based models, which yield (up to our knowledge) the best two state-of-the-art formulations for the problem variant Steiner tree problem with revenues, budgets and hop constraints.