An improved deductive fault simulator | IEEE Conference Publication | IEEE Xplore