Enviar aquest missatge de text: Model Checking Stochastic Branching Processes