Statistical Abstraction and Model-Checking of Large Heterogeneous Systems