@misc{https://doi.org/10.4121/uuid:64cd25f4-4192-46d1-a951-9f99b452b48f,
  doi = {10.4121/uuid:64cd25f4-4192-46d1-a951-9f99b452b48f},
  url = {https://data.4tu.nl/articles/dataset/A_Statistical_Model_Checker_for_Nondeterminism_and_Rare_Events_Artifact_/12697496/1},
  author = {Hartmanns, Arnd},
  keywords = {formal verification, rare event simulation, statistical model checking},
  title = {A Statistical Model Checker for Nondeterminism and Rare Events (Artifact)},
  publisher = {University of Twente},
  year = {2018},
  copyright = {4TU General Terms of Use},
}