Efficient Performance models in Component-Based Software Engineering