Elvira Albert Germán Puebla Manuel V. Hermenegildo Experiments in abstract interpretation-based code certification for pervasive systems. 1125-1130 2004 conf/smc/2004 SMC (2) http://dx.doi.org/10.1109/ICSMC.2004.1399773 db/conf/smc/smc2004-2.html#AlbertPH04