NASA's TReK project: a case study in using the spiral model of software development. - T. Dean Hendrix; Michelle P. Schneider (Commun. ACM, 2002)