Paolo Camurati;Fulvio Corno;Paolo Prinetto
-;-;-
Forced simulation: A technique for automating component reuse in embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)