Using Multiple Levels of Abstractions in Embedded Software Design.

Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli

Browse the full EMSOFT paper archive.