Design of Embedded Systems: Formal Models, Validation, and Synthesis (1999)

by S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli
Venue:PROCEEDINGS OF THE IEEE