@misc{https://doi.org/10.4121/uuid:5a73169e-b494-411b-b3a8-051e62efba9e,
  doi = {10.4121/uuid:5a73169e-b494-411b-b3a8-051e62efba9e},
  url = {https://data.4tu.nl/articles/dataset/A_Modest_Markov_Automata_Tutorial_Artifact_/12695231/1},
  author = {Hartmanns, Arnd},
  keywords = {Dependability evaluation, Markov models, Modest Toolset, Modest language, Performance evaluation},
  title = {A Modest Markov Automata Tutorial (Artifact)},
  publisher = {4TU.Centre for Research Data},
  year = {2019},
  copyright = {CC BY 4.0},
}