Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli. Using Multiple Levels of Abstractions in Embedded Software Design. In Thomas A. Henzinger, Christoph M. Kirsch, editors, Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings. Volume 2211 of Lecture Notes in Computer Science, pages 324-343, Springer, 2001. [doi]
Abstract is missing.