Stav dette: Model Checking Stochastic Branching Processes