Dagstuhl Seminar Proceedings, Volume 7451,

• Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, and Bernhard Schätz 07451 Abstracts Collection – Model-Based Engineering of Embedded Real-Time Systems 10.4230/DagSemProc.07451.1
• Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, and Bernhard Schätz 07451 Summary – Model-Based Engineering of Embedded Real-Time Systems 10.4230/DagSemProc.07451.2