On Component-Based Development and High-Integrity Real-Time Systems
Keyword(s):
Keyword(s):