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, 2010)