Frederick Ferguson. A computer aided design tool for the identification and linkage of safety-critical factors to their mitigating requirements. In C. C. Hung, editor, Proceedings of the ISCA 16th International Conference Computers and Their Applications, March 28-30, 2001, Seattle, Washington, USA. pages 310-313, ISCA, 2001.