@misc{indiciae8d434de9b040,
  title = {Specification Patterns for Robotic Missions},
  author = {Claudio Menghi and Christos Tsigkanos and Patrizio Pelliccione and Carlo Ghezzi and Thorsten Berger},
  year = {2019},
  url = {https://arxiv.org/abs/1901.02077},
  note = {Source identifier: 1901.02077}
}