Nan Guan Zonghua Gu Wang Yi 0001 Ge Yu Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. 715-720 2009 ASP-DAC http://doi.acm.org/10.1145/1509633.1509795 conf/aspdac/2009 db/conf/aspdac/aspdac2009.html#GuanGYY09