Embedded Computer Systems: Architectures, Modeling, and Simulation (Springer Berlin Heidelberg, 2020)