@misc{indiciae08d4c7ba7834,
  title = {Modelling and Verification of Multiple UAV Mission Using SMV},
  author = {Gopinadh Sirigineedi and Antonios Tsourdos and Brian A. White and Rafal Zbikowski},
  year = {2010},
  doi = {10.4204/eptcs.20.3},
  url = {https://arxiv.org/abs/1003.0381},
  note = {Source identifier: 1003.0381}
}