[1]
B. C. Williams, M. D. Ingham, S. Chung, P. Elliott, M. Hofbaur, and G. T. Sullivan, “Model-Based Programming of Fault-Aware Systems”, AIMag, vol. 24, no. 4, p. 61, Dec. 2003.