@INBOOK {BdAFK16,
    author    = "Christel Baier, Luca de Alfaro, Vojtěch Forejt, and Marta Kwiatkowska",
    title     = "Probabilistic Model Checking",
    booktitle     = "Handbook of Model Checking",
    publisher = "Springer",
    year      = "2016",
    note      = "To appear"
}