@misc{indiciae961b79a0b0f9,
  title = {Modeling R\$\textasciicircum{}3\$ Needle Steering in Uppaal},
  author = {Sascha Lehmann and Antje Rogalla and Maximilian Neidhardt and Anton Reinecke and Alexander Schlaefer and Sibylle Schupp},
  year = {2022},
  doi = {10.4204/eptcs.355.4},
  url = {https://arxiv.org/abs/2203.09884},
  note = {Source identifier: 2203.09884}
}