Văn bản này: Model Checking Stochastic Branching Processes