Annabelle McIver, Ernie Cohen, Carroll Morgan: Using Probabilistic Kleene Algebra for Protocol Verification. RelMiCS 2006: 296-310