Book Constructing Predictable Real Time Systems 1991