Zonghua Gu Mingxuan Yuan Nan Guan Mingsong Lv Xiuqiang He Qingxu Deng Ge Yu Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking. 353-364 2007 RTSS http://doi.ieeecomputersociety.org/10.1109/RTSS.2007.46 conf/rtss/2007 db/conf/rtss/rtss2007.html#GuYGLHDY07