Capability Maturity Model software development using Cleanroom software engineering principles-results of an industry project | IEEE Conference Publication | IEEE Xplore