Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems | IEEE Conference Publication | IEEE Xplore