Integrated CASE for Cleanroom Development. - Alan R. Hevner; Shirley A. Becker; Lenard B. Pedowitz (IEEE Softw., 1992)