Embedded Systems that work - Robust, Reliable, Secure