Design of embedded real-time computing systems - Ravn, Anders P. (Technical report (Danmarks tekniske højskole. Instituttet for datateknik), 1995)