A software-reliability growth model for N-version programming systems | IEEE Journals & Magazine | IEEE Xplore