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