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), p. 61. doi: 10.1609/aimag.v24i4.1731.