@inproceedings{Sif10d,
title = {Embedded Systems Design - Scientific Challenges and Work Directions },
author = {Sifakis, Joseph},
year = {2010},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2},
pages = {1},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6015},
team = {DCS, RSD},
}