Embedded Systems (ES) are everywhere, even if not noticed at first sight. They are tiny computers that control the functionality of everyday life devices like mobile phones and cameras, elevators and vending machines, cars and manufacturing robots, and will even be integrated into our clothes. T...