@Inproceedings{EPTCS92.9,
  author    = {David, Alexandre and Du, Dehui and Larsen, Kim G. and Legay, Axel and Miku\v{c}ionis, Marius and Poulsen, Danny B{\o}gsted and Sedwards, Sean},
  year      = {2012},
  title     = {Statistical Model Checking for Stochastic Hybrid Systems},
  editor    = {Bartocci, Ezio and Bortolussi, Luca},
  booktitle = {{\rm Proceedings First International Workshop on}
               Hybrid Systems and Biology,
               {\rm Newcastle Upon Tyne, 3rd September 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {92},
  publisher = {Open Publishing Association},
  pages     = {122-136},
  doi       = {10.4204/EPTCS.92.9},
}