Sudipta Kundu Malay K. Ganai Rajesh Gupta Partial order reduction for scalable testing of systemC TLM designs. 936-941 2008 DAC http://doi.acm.org/10.1145/1391469.1391706 conf/dac/2008 db/conf/dac/dac2008.html#KunduGG08