Performability Analysis of k-to-l-Out-of-n Computing Systems Using Binary Decision Diagrams | IEEE Journals & Magazine | IEEE Xplore