@inproceedings{Sif09g,
title = {Embedded systems design - Scientific challenges and work directions },
author = {Sifakis, Joseph},
year = {2009},
booktitle = {Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009},
pages = {2},
publisher = {IEEE},
team = {DCS, RSD},
}