An Introduction To Real Time Systems by D.L. Bailey & Raymond J.A. Buhr