@misc{indiciaedba00aea10bc,
  title = {SReach: A Bounded Model Checker for Stochastic Hybrid Systems},
  author = {Qinsi Wang and Paolo Zuliani and Soonho Kong and Sicun Gao and Edmund M. Clarke},
  year = {2014},
  url = {https://arxiv.org/abs/1404.7206},
  note = {Source identifier: 1404.7206}
}