Software-reliability evaluation of the TROPICO-R switching system | IEEE Journals & Magazine | IEEE Xplore