Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007