Tutorial hard real-time systems - Stankovic, John A. (Computer Society Press of the IEEE, 1988)