Title: Embedded Computer Systems : Architectures, Modeling, and Simulation