Analysis, Architectures and Modelling of Embedded Systems - Rettberg, Achim; Amann, Michael; Keckeisen, Michael; Rammig, Franz J.; Zanella, Mauro C. (Springer Berlin Heidelberg, 2009)