An introduction to real time systems - Buhr Raymond J A (1999)