@misc{indiciae995932cf8ce3,
  title = {A spatial algorithm for the analysis of transportation systems using statistical model checking},
  author = {Daniël Reijsbergen and Stephen Gilmore},
  year = {2020},
  url = {https://arxiv.org/abs/2009.13053},
  note = {Source identifier: 2009.13053}
}