Nicolas Blanc Daniel Kroening Race analysis for SystemC using model checking. 356-363 2008 ICCAD http://doi.acm.org/10.1145/1509456.1509540 conf/iccad/2008 db/conf/iccad/iccad2008.html#BlancK08