@misc{https://doi.org/10.4121/uuid:1453a13b-10ae-418f-a1ae-4acf96028118,
  doi = {10.4121/uuid:1453a13b-10ae-418f-a1ae-4acf96028118},
  url = {https://data.4tu.nl/articles/dataset/Lightweight_Statistical_Model_Checking_in_Nondeterministic_Continuous_Time_Artifact_/12676631/1},
  author = {Hartmanns, Arnd},
  keywords = {Formal verification, Lightweight scheduler sampling, Nondeterminism, Statistical model checking},
  title = {Lightweight Statistical Model Checking in Nondeterministic Continuous Time (Artifact)},
  publisher = {University of Twente},
  year = {2018},
  copyright = {4TU General Terms of Use},
}