Text this: Modeling System Threat Probabilities Using Mixed-Radix Multiple-Valued Logic Decision Diagrams.