Embedded Computer Systems: Architectures, Modeling, and Simulation - Bertels, Koen; Dimopoulos, Nikitas; Kanade, Takeo; Silvano, Cristina; Wong, Stephan (Springer Berlin Heidelberg, 2009)