"This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers a splendid …
