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