Real- time systems - Liu Jane W S Ed. (2000)