@article{KNP04b,
  title = "Probabilistic Symbolic Model Checking with {PRISM}: A Hybrid Approach",
  author = "M. Kwiatkowska and G. Norman and D. Parker",
  year = "2004",
  journal = "International Journal on Software Tools for Technology Transfer (STTT)",
  number = "2",
  pages = "128--142",
  url = "http://qav.comlab.ox.ac.uk/papers/sttt04_hybr.pdf",
  volume = "6",
}