Embedded Computer Systems: Architectures, Modeling, and Simulation - Dionisios N. Pnevmatikatos, Maxime Pelcat, Matthias Jung (Springer, 2019)