TwoServersStochastic example updated to match the new notation. Also in the documentation