Embedded Computer Systems: Architectures, Modeling, and Simulation