Meine van der Meulen Lorenzo Strigini Miguel A. Revilla On the Effectiveness of Run-Time Checks. 151-164 2005 conf/safecomp/2005 SAFECOMP http://dx.doi.org/10.1007/11563228_12 db/conf/safecomp/safecomp2005.html#MeulenSR05