@proceedings{76,
  author = {Carlos Budde and Pedro D\textquoterightArgenio and Arnd Hartmanns and Sean Sedwards},
  title = {A Statistical Model Checker for Nondeterminism and Rare Events},
  year = {2018},
  volume = {10806},
  pages = {340\textendash358},
  url = {https://link.springer.com/chapter/10.1007/978-3-319-89963-3_20},
}