Alexandre Abellard Patrick Abellard A factorization / defactorization methodology based on data flow petri nets for an efficient hardware/software codesign. 1388-1393 2007 SMC http://dx.doi.org/10.1109/ICSMC.2007.4413650 conf/smc/2007 db/conf/smc/smc2007.html#AbellardA07