@InProceedings{giese_et_al:DagSemProc.07451.1,
author = {Giese, Holger and Karsai, Gabor and Lee, Edward and Rumpe, Bernhard and Sch\"{a}tz, Bernhard},
title = {{07451 Abstracts Collection – Model-Based Engineering of Embedded Real-Time Systems}},
booktitle = {Model-Based Engineering of Embedded Real-Time Systems},
pages = {1--14},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7451},
editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Sch\"{a}tz},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07451.1},
URN = {urn:nbn:de:0030-drops-12718},
doi = {10.4230/DagSemProc.07451.1},
annote = {Keywords: Models, model-based, MDD, embedded systems, real-time systems, validation \& verification, tool-support, domain-specific, languages}
}