Jeremy Dick Eoin Woods Lessons learned from rigorous system software development. 551-560 1997 39 Information & Software Technology 8 http://dx.doi.org/10.1016/S0950-5849(97)00013-X db/journals/infsof/infsof39.html#DickW97