@InProceedings{Armstrong11,
  title =        "{T}he {F}lying {G}ator: {T}owards {A}erial {R}obotics in occam-\π",
  author=        "Armstrong,  Ian and Pirrone-Brusse,  Michael and Smith,  A and Jadud,  Matthew C.",
  editor=        "Welch, Peter H. and Sampson,  Adam T. and Pedersen,  Jan Bækgaard and Kerridge,  Jon and Broenink,  Jan F. and Barnes,  Frederick R. M.",
  pages =        "329--340",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2011",
  isbn=          "978-1-60750-773-4",
  year=          "2011",
  month=         "jun",
  abstract=      "The Flying Gator is an unmanned aerial vehicle developed to
     support
investigations regarding concurrent and parallel
     control for robotic and
embedded systems.  During ten weeks
     in the summer of 2010, we designed,
built, and tested an
     airframe, control electronics, and a concurrent
firmware
     capable of sustaining autonomous level flight. Ultimately,
     we
hope to have a robust, open source control system capable
     of supporting
interesting research questions exploring
     concurrency in real time
systems as well as current issues
     in sustainable agriculture."
}