1. Accellera Systems Initiative. SystemC (2016).
http://www.systemc.org
2. S. Anand, C.S. Păsăreanu, W. Visser, Symbolic execution with abstract subsumption checking, in International SPIN Workshop on Model Checking of Software (Springer, Berlin, 2006), pp. 163–181
3. B. Bailey, G. Martin, A. Piziali, ESL Design and Verification: A Prescription for Electronic System Level Methodology (Morgan Kaufmann/Elsevier, New York, 2007)
4. A. Biere, D. Kroening, G. Weissenbacher, C. Wintersteiger, Digitaltechnik—Eine Praxisnahe Einführung (Springer, Berlin, 2008)
5. N. Blanc, D. Kroening, Race analysis for SystemC using model checking. TODAES 15(3), 21:1–21:32 (2010)