E. . Zaitseva and V. . Levashenko, “MULTI-STATE SYSTEM ANALYSIS BASED ON MULTIPLE-VALUED DECISION DIAGRAM”, JRSS, vol. 5, pp. 107–118, Jan. 2012.