Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska: Model Checking Probabilistic Systems. Handbook of Model Checking 2018: 963-999