Probabilistic CEGAR - Hermanns, H; Wachter, B; Zhang, L (CAV, 2008)