Optimal cost-effective design of triple-modular-redundancy-with-spares systems | IEEE Journals & Magazine | IEEE Xplore