Telefona gönder: Model Checking Stochastic Branching Processes