A Theory of Fault Recovery for Component-Based Models | IEEE Conference Publication | IEEE Xplore