Williams, Brian C., Michel D. Ingham, Seung Chung, Paul Elliott, Michael Hofbaur, and Gregory T. Sullivan. 2003. “Model-Based Programming of Fault-Aware Systems”. AI Magazine 24 (4):61. https://doi.org/10.1609/aimag.v24i4.1731.