Chris J. Price, Neal Snooke, D. R. Pugh, John E. Hunt, Myra S. Wilson: Combining functional and structural reasoning for safety analysis of electrical designs. Knowl. Eng. Rev. 12(3): 271-287 (1997)