CARAT: a Toolkit for Design and Performance Analysis of Component-Based Embedded Systems | IEEE Conference Publication | IEEE Xplore