@inproceedings{712917057ae54ace94e8ce592ec47519,
title = "Model-driven design-space exploration for software-intensive embedded systems",
abstract = "Software plays an increasingly important role in modern embedded systems, leading to a rapid increase in design complexity. Model-driven exploration of design alternatives leads to shorter, more predictable development times and better controlled product quality.",
author = "T. Basten and M. Hendriks and L.J.A.M. Somers and N. Trcka",
year = "2012",
doi = "10.1007/978-3-642-33365-1_1",
language = "English",
isbn = "978-3-642-33364-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "1--6",
editor = "M. Jurdzinski and D. Nickovic",
booktitle = "Formal Modeling and Analysis of Timed Systems (10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings)",
address = "Germany",
note = "conference; 10th International Conference on Formal Modeling and Analysis of Timed Systems ; Conference date: 01-01-2012",
}