Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation