Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers - Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz ((Lecture Notes in Computer Science))