Embedded Systems Design - Hutchison, David; Bouyssounouse, Bruno; Kanade, Takeo; Sifakis, Joseph; Kittler, Josef (Springer Berlin / Heidelberg, 2005)