M. Wolf, Computers as Components: Principles of Embedded Computing System Design, (3rd), Morgan Kaufmann, 2012. 978-0123884367. (Required).