Detailed comparison of dependability analyses performed at RT and gate levels | IEEE Conference Publication | IEEE Xplore