Modeling System Threat Probabilities Using Mixed-Radix Multiple-Valued Logic Decision Diagrams. - MANIKAS, THEODORE W.; THORNTON, MITCHELL A.; FEINSTEIN, DAVID Y. (Journal of Multiple-Valued Logic & Soft Computing, 2015)