Embedded Computer Systems: Architectures, Modeling, And Simulation