Design and Verification of Component Based Real-Time Systems

The design of embedded real-time systems is becoming more and more challengingdue to the increasing complexity of new hardware platforms, requirements onnew system functionality, and economical con ...