Seol mar théacs é seo: Model Checking Stochastic Branching Processes