@article{27,
  author = {Carlos Budde and Pedro D'Argenio and Arnd Hartmanns and Sean Sedwards},
  title = {An Efficient Statistical Model Checker for Nondeterminism and Rare Events},
  year = {2020},
  journal = {International Journal on Software Tools For Technology Transfer},
  volume = {Special Issue TACAS 2018},
}