@inproceedings{MN16,
	Author = {C{\'{e}}sar Mu{\~{n}}oz and Anthony Narkawicz},
	Booktitle = {Proceedings of the 8th NASA Formal Methods Symposium (NFM 2016)},
	Month = {June},
	Title = {Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft},
        Address = {Minneapolis, MN},
        series = "Lecture Notes in Computer Science",        
        editor = "Sanjai Rayadurgam and Oksana Tkachuk",
        volume = "9690",
        pages = "221--226",
        year = "2016",
        doi = "10.1007/978-3-319-40648-0_17",
        publisher = "Springer"
}