Embedded System Design by Daniel D. Gajski, Samar Abdi & Gunar Schirner