L. Cloth, P. Crouzen, M. Fruth, T. Han, D. Jansen, M. Kattenbelt, G. Smit, and L. Zhang. Quantitative Aspects of Embedded Systems, volume 07101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)