Blanc, Kroening, 2010. Race analysis for systemc using model checking 15.. https://doi.org/10.1145/1754405.1754406