Experimental evaluation of the fail-silent behaviour in programs with consistency checks | IEEE Conference Publication | IEEE Xplore