Embedded/ Real time system :concepts,design & programming - Valvano, Jonathan, W (2005)