Real-Time Systems

"This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers  a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management. This book is an essential reading for adva...