Quantitative Aspects of Embedded Systems