Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers - Giese, Holger; Karsai, Gabor; Lee, Edward; Rumpe, Bernhard; Schätz, Bernhard (Springer Berlin Heidelberg : Imprint: Springer, 2010)