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

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