Ji Wang Xiaodong Yi Xuejun Yang Towards a Framework for Scalable Model Checking of Concurrent C Programs. 355-362 2006 ISoLA http://dx.doi.org/10.1109/ISoLA.2006.69 conf/isola/2006 db/conf/isola/isola2006.html#WangYY06