Thomas Ball Sriram K. Rajamani The SLAM project: debugging system software via static analysis. 1-3 2002 POPL http://doi.acm.org/10.1145/503272.503274 db/conf/popl/popl2002.html#BallR02