Ka Lok Man Andrea Fedeli Michele Mercaldi Menouer Boubekeur Michel P. Schellekens SC2SCFL: Automated SystemC to SystemC<sup>FL</sup> Translation. 34-45 2007 conf/samos/2007 SAMOS http://dx.doi.org/10.1007/978-3-540-73625-7_6 db/conf/samos/samos2007.html#ManFMBS07