Probabilistic Systems Analysis