Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning | IEEE Conference Publication | IEEE Xplore