Vak Quantitative Evaluation of Embedded Systems (IN4390)