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