Embedded microcomputer systems - Jonathan W Valvano (Thomson, 2007)