Fast high-level fault simulator | IEEE Conference Publication | IEEE Xplore