@misc{indiciae7e96f2b4a393,
  title = {Model Checking and Verification of Synchronisation Properties of Cobot Welding},
  author = {Yvonne Murray and Henrik Nordlie and David A. Anisi and Pedro Ribeiro and Ana Cavalcanti},
  year = {2024},
  doi = {10.4204/eptcs.411.6},
  url = {https://arxiv.org/abs/2411.14369},
  note = {Source identifier: 2411.14369}
}