Mike Muller: The challenges of embedded system design. CODES+ISSS 2005: 3