Product Assurance: Insurance Against a Software Disaster | IEEE Journals & Magazine | IEEE Xplore