Wyślij wiadomość: Model Checking Stochastic Branching Processes