Experimental dependability assessment using a faultload specification tool | IEEE Conference Publication | IEEE Xplore