Embedded Systems - Bakos, Jason D. (Morgan Kaufmann, 2016)