Williams, B.C., Ingham, M.D., Chung, S., Elliott, P., Hofbaur, M. and Sullivan, G.T. 2003. Model-Based Programming of Fault-Aware Systems. AI Magazine. 24, 4 (Dec. 2003), 61. DOI:https://doi.org/10.1609/aimag.v24i4.1731.