Stav dette: Safety analysis of knowledge-based systems : final report / Larry J. Morell.