Experience Using Cleanroom Software Engineering. - S. Wayne Sherer; Ara Kouchakdjian; Paul Arnold (IEEE Softw., 1996)