Fault injection boundary scan design for verification of fault tolerant systems | IEEE Conference Publication | IEEE Xplore