@misc{indiciaed3943023f29b,
  title = {Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code},
  author = {Christel Baier and Marcus Daum and Benjamin Engel and Hermann Härtig and Joachim Klein and Sascha Klüppelholz and Steffen Märcker and Hendrik Tews and Marcus Völp},
  year = {2012},
  doi = {10.4204/eptcs.102.14},
  url = {https://arxiv.org/abs/1211.6196},
  note = {Source identifier: 1211.6196}
}