D/sup 3/FS: a demand driven deductive fault simulator | IEEE Conference Publication | IEEE Xplore