Failure mode assumptions and assumption coverage | IEEE Conference Publication | IEEE Xplore