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)
J. Fruth, R. Merkel, and J. Dittmann. Communications and Multimedia Security, volume 7025 of Lecture Notes in Computer Science, page 241-243. Springer, (2011)