María-del-Mar Gallardo Pedro Merino Christophe Joubert David Sanán On-the-fly model checking for C programs with extended CADP in FMICS-jETI. 321-329 2007 conf/iceccs/2007 ICECCS http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.32 db/conf/iceccs/iceccs2007.html#GallardoMJS07