Embedded computer systems : architectures, modeling, and simulation. 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings (2009)