On the Use of Performance Models to Design Self-Managing Computer Systems