@inproceedings {255326,
	author = {Taegyu Kim and Chung Hwan Kim and Altay Ozen and Fan Fei and Zhan Tu and Xiangyu Zhang and Xinyan Deng and Dave (Jing) Tian and Dongyan Xu},
	title = {From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with {MAYDAY}},
	booktitle = {29th USENIX Security Symposium (USENIX Security 20)},
	year = {2020},
	isbn = {978-1-939133-17-5},
	pages = {913--930},
	url = {https://www.usenix.org/conference/usenixsecurity20/presentation/kim},
	publisher = {USENIX Association},
	month = aug
}
