@misc{https://doi.org/10.4121/uuid:98d571be-cdd4-4e5a-a589-7c5b1320e569,
  doi = {10.4121/uuid:98d571be-cdd4-4e5a-a589-7c5b1320e569},
  url = {https://data.4tu.nl/articles/dataset/A_Modest_Approach_to_Modelling_and_Checking_Markov_Automata_Artifact_/12708335/1},
  author = {Butkova, Y. (Yuliya)},
  keywords = {Markov processes, Probabilistic verification},
  title = {A Modest Approach to Modelling and Checking Markov Automata (Artifact)},
  publisher = {4TU.Centre for Research Data},
  year = {2019},
  copyright = {CC BY 4.0},
}