Brian Norris, Brian Demsky, “A Practical Approach for Model Checking C/C++11 Code,” ACM Trans. Program Lang. Syst. 38(3): 10, May 2, 2016