A resource-efficient probabilistic fault simulator | IEEE Conference Publication | IEEE Xplore