Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components. - Dillon, Laura K.; Stirewalt, R. E. Kurt (IEEE Transactions on Software Engineering, 2003)