A formal process for evaluating COTS software products | IEEE Journals & Magazine | IEEE Xplore