Formal verification of distributed aircraft controllers

@INPROCEEDINGS{DBLP:conf/hybrid/LoosRP13,
	pdf = {pub/discworld.pdf},
	slides = {pub/discworld-slides.pdf},
	study = {https://www.ls.cs.cmu.edu/discworld},
	TR = {DBLP:conf/hybrid/LoosRP13:TR},

  author    = {Sarah M. Loos and
               David W. Renshaw and
               Andr{\'e} Platzer},
  title     = {Formal Verification of Distributed
               Aircraft Controllers},
  year      = {2013},
  pages     = {125-130},
  doi       = {10.1145/2461328.2461350},
  publisher = {ACM},
  editor    = {Calin Belta and
               Franjo Ivancic},
  booktitle = {Hybrid Systems: Computation and Control
               (part of CPS Week 2013), HSCC'13,
               Philadelphia, PA, USA, April 8-13, 2013},
}```