David J. Duke Michael D. Harrison Folding Human Factors into Rigorous Development. 333-347 1994 conf/dsvis/1994 DSV-IS db/conf/dsvis/dsvis1994.html#DukeH94