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

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