Suprasad V. Amari, Liudong Xing, Akhilesh Shrestha, Jennifer Akers, Kishor S. Trivedi. Performability Analysis of Multistate Computing Systems Using Multivalued Decision Diagrams. IEEE Transactions on Computers, 59(10):1419-1433, 2010. [doi]
Abstract is missing.