A Toolkit for Design and Performance Analysis of Real-Time Component-Based Software Systems | IEEE Conference Publication | IEEE Xplore