On Component-Based Development and High-Integrity Real-Time Systems | IEEE Conference Publication | IEEE Xplore