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