Jérôme Chevalier, Maxime de Nanclas, Luc Filion, Olivier Benny, Mathieu Rondonneau, Guy Bois, El Mostapha Aboulhamid. A SystemC Refinement Methodology for Embedded Software. IEEE Design & Test of Computers, 23(2):148-158, 2006. [doi]
Abstract is missing.