Dagstuhl Seminar Proceedings: Model-Based Engineering of Embedded Real-Time Systems 2007