@misc{indiciaecd3778c55bfa,
  title = {Monitoring ROS2: from Requirements to Autonomous Robots},
  author = {Ivan Perez and Anastasia Mavridou and Tom Pressburger and Alexander Will and Patrick J. Martin},
  year = {2022},
  doi = {10.4204/eptcs.371.15},
  url = {https://arxiv.org/abs/2209.14030},
  note = {Source identifier: 2209.14030}
}