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