Efficient model checking of the stochastic logic CSLTA