@article{riley_koutsoukos_riley_2010, 
  title={Simulation of Stochastic Hybrid Systems using probabilistic boundary detection and adaptive time stepping}, 
  volume={18}, 
  DOI={10.1016/j.simpat.2010.05.021}, 
  publisher={Elsevier BV}, 
  author={Riley and Koutsoukos and Riley}, 
  year={2010}
  }