Williams, B. C., M. D. Ingham, S. Chung, P. Elliott, M. Hofbaur, and G. T. Sullivan. “Model-Based Programming of Fault-Aware Systems”. AI Magazine, vol. 24, no. 4, Dec. 2003, p. 61, doi:10.1609/aimag.v24i4.1731.