Return to Article Details A Probabilistic Extension of UML-B Download Download PDF