Williams, B. C.; Ingham, M. D.; Chung, S.; Elliott, P.; Hofbaur, M.; Sullivan, G. T. Model-Based Programming of Fault-Aware Systems. AIMag 2003, 24, 61.