Introduction to embedded systems : - Jimenez, Manuel (Springer, 2014)