Performability Analysis of Multistate Computing Systems Using Multivalued Decision Diagrams. - Suprasad V. Amari; Liudong Xing; Akhilesh Shrestha; Jennifer Akers; Kishor S. Trivedi (IEEE Trans. Computers, 2010)