Closure property of the NBUC class under formation of parallel systems | IEEE Journals & Magazine | IEEE Xplore