An introduction to real time systems - BuhrlhR.J.A