Marc Pouzet Pascal Raymond Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. 215-224 2009 EMSOFT http://doi.acm.org/10.1145/1629335.1629365 conf/emsoft/2009 db/conf/emsoft/emsoft2009.html#PouzetR09