Efficient analysis of multi-state k-out-of-n systems. (January 2015)