Component-Based Design of Safe Real-Time Kernels for Embedded Systems | IEEE Conference Publication | IEEE Xplore