Software Reliability Assurance Using a Framework in Weapon System Development: A Case Study | IEEE Conference Publication | IEEE Xplore