M. Jaber, Alexandre Chagoya-Garzon, Frédéric Rousseau. From system model formalization towards correct and efficient HW/SW design. In Proceedings of the 8th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, DTIS 2013, 26-28 March, 2013, Abu Dhabi, UAE. pages 88-93, IEEE, 2013. [doi]
Abstract is missing.