Embedded systems - Valvano, Jonathan W ([?], 2017)