George C. Necula Scott McPeak Shree Prakash Rahul Westley Weimer CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. 213-228 2002 conf/cc/2002 CC http://link.springer.de/link/service/series/0558/bibs/2304/23040213.htm db/conf/cc/cc2002.html#NeculaMRW02