A Case Study in Embedded System Design: an Engine Control Unit