Embedded Computer Systems: Architectures, Modeling, and Simulation - Vassiliadis, Stamatis; Hämäläinen, Timo D.; Kanade, Takeo; Wong, Stephan (Springer Berlin / Heidelberg, 2006)