@inproceedings{ghorbal2012efficient,
  title={Efficient probabilistic model checking of systems with ranged probabilities},
  author={Ghorbal, Khalil and Duggirala, Parasara Sridhar and Kahlon, Vineet and Ivan{\v{c}}i{\'c}, Franjo and Gupta, Aarti},
  booktitle={International Workshop on Reachability Problems},
  pages={107--120},
  year={2012},
  organization={Springer Berlin Heidelberg}
}