choice and chance - model-based testing of stochastic behaviour
Voor meer informatie zie de Engelse website.