Tullio Cuatto Claudio Passerone Luciano Lavagno Attila Jurecska Antonino Damiano Claudio Sansoè Alberto L. Sangiovanni-Vincentelli A Case Study in Embedded System Design: An Engine Control Unit. 804-807 1998 DAC http://doi.acm.org/10.1145/277044.277248 db/conf/dac/dac98.html#CuattoPLJDSS98