Conditional Probabilities over Probabilistic and Nondeterministic Systems Book chapter (January 2008)