Ensuring Quality of Services at Runtime: a Case Study