Some Experience with Automated Aids to the Design of Large-Scale Reliable Software. - Barry W. Boehm; Robert K. McClean; D. B. Urfrig (IEEE Trans. Software Eng., 1975)