Building software recovery assertions from a fault injection-based propagation analysis | IEEE Conference Publication | IEEE Xplore