- key: x
  title: x
  author:
    - y, x
  year: 1
  journal: x
  booktitle: CONF 2000
  volume: 1
  pages: 1-2
  publisher: x
  doi: x
  url: x

- key: Hensel2022
  title: The probabilistic model checker Storm
  author:
    - Hensel, Christian
    - Junges, Sebastian
    - Katoen, Joost-Pieter
    - Quatmann, Tim
    - Volk, Matthias
  year: 2022
  journal: International Journal on Software Tools for Technology Transfer
  volume: 24
  pages: 589-610
  publisher: Springer
  doi: 10.1007/s10009-021-00633-z

- key: Jeppson2023
  title: 'STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker'
  author:
    - Jeppson, Joshua
    - Volk, Matthias
    - Israelsen, Bryant
    - Roberts, Riley
    - Williams, Andrew
    - Buecherl, Lukas
    - Myers, Chris J.
    - Zheng, Hao
    - Winstead, Chris
    - Zhang, Zhen
  year: 2023
  booktitle: QEST 2023
  pages: 101-109
  publisher: Springer
  doi: 10.1007/978-3-031-43835-6_7

- key: Kwiatkowska2011
  title: 'PRISM 4.0: Verification of Probabilistic Real-time Systems'
  author:
    - Kwiatkowska, Marta
    - Norman, Gethin
    - Parker, David
  year: 2011
  booktitle: CAV 2011
  volume: 6806
  pages: 585-591
  publisher: Springer
  doi: 10.1007/978-3-642-22110-1_47