Introduction to Embedded Systems - Jonathan W. Valvano