Model Checking Stochastic Branching Processes - Chen, T; Dräger, K; Kiefer, S (Springer, 2012)