Leram - Embedded Systems -- Modeling, Technology, and Applications: Proceedings of the 7th International Workshop held at Technische Universität Berlin, June 26/27, 2006