Validating the dependability of embedded systems through fault injection by means of loadable kernel modules | IEEE Conference Publication | IEEE Xplore