@misc{indiciae1a1b10c88457,
  title = {Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal},
  author = {Wojciech Jamroga and Yan Kim and Damian Kurpiewski and Peter Y. A. Ryan},
  year = {2023},
  url = {https://arxiv.org/abs/2007.12412},
  note = {Source identifier: 2007.12412}
}