V. Catania;N. Fiorito;M. Malgeri;M. Russo
-;-;-;-
Hardware/software synthesis of formal specifications in codesign of embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)