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