@proceedings{73,
  author = {Pedro D'Argenio and Arnd Hartmanns and Sean Sedwards},
  title = {Lightweight Statistical Model Checking in Nondeterministic Continuous Time},
  year = {2018},
  volume = {11245},
  pages = {336\textendash353},
  publisher = {Springer},
  address = {Limassol, Cyprus},
  url = {https://link.springer.com/chapter/10.1007/978-3-030-03421-4_22},
}