Tullio Cuatto, Claudio Passerone, Claudio Sansoè, Francesco Gregoretti, Attila Jurecska, Alberto L. Sangiovanni-Vincentelli. A Case Study in Embedded Systems Design: An Engine Control Unit. Design Autom. for Emb. Sys., 6(1):71-88, 2000. [doi]
Abstract is missing.