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', 'David W. Renshaw', 'André Platzer']},
	title = {Formal Verification of Distributed
               Aircraft Controllers},
	year = {2013},
	pages = {125-130},
	doi = {10.1145/2461328.2461350},
	publisher = {ACM},
	editor = {['Calin Belta', 'Franjo Ivancic']},
	booktitle = {Hybrid Systems: Computation and Control
               (part of CPS Week 2013), HSCC'13,
               Philadelphia, PA, USA, April 8-13, 2013}
}