Book

Real-Time Systems

by Neil Audsley, Sanjoy Baruah