Franjo Ivancic Ilya Shlyakhter Aarti Gupta Malay K. Ganai Model Checking C Programs Using F-SOFT. 297-308 2005 conf/iccd/2005 ICCD http://doi.ieeecomputersociety.org/10.1109/ICCD.2005.77 db/conf/iccd/iccd2005.html#IvanicicSGG05