Embedded Computer Systems - Architectures, Modeling, and Simulation by Alex Orailoglu