Embedded Computer Systems: Architectures, Modeling, and Simulation - Pnevmatikatos; Jung, Matthias; Pelcat, Maxime (Springer International Publishing, 2019)