Design for Dependability Through Error Propagation Space Exploration | IEEE Conference Publication | IEEE Xplore