Design of embedded systems: Formal models, validation, and synthesis (1997)

by S Edwards, L Lavagno, E A Lee, A Sangiovanni-Vincentelli
Venue:Proc. of the IEEE