A Spatial-Temporal Model for Software Fault Tolerance in Safety-Critical Applications | IEEE Conference Publication | IEEE Xplore