@misc{indiciaeb460c6e08c02,
  title = {Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca},
  author = {Hiep Hong Trinh and Marjan Sirjani and Federico Ciccozzi and Abu Naser Masud and Mikael Sjödin},
  year = {2026},
  url = {https://arxiv.org/abs/2511.15227},
  note = {Source identifier: 2511.15227}
}