Text this: Model-based engineering of embedded real-time systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers / Holger Giese [and others] (eds.).