Real - time systems - Jane W.S Liu (Prentice Hall, 2000)