@inproceedings{Munoz2015ICTAC,
	Author = {C{\'{e}}sar Mu{\~{n}}oz},
	Booktitle = {Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)},
	Month = {October},
	Title = {Formal Methods in Air Traffic Management: The Case of {U}nmanned {A}ircraft {S}ystems (Invited Lecture)},
        Address = {Cali, Colombia},
        series = "Lecture Notes in Computer Science",        
        editor = {Martin Leucker and Camilo Rueda and Frank Valencia},
        pages = {58--62},
        volume = "9399",
        year = "2015",
        doi= "10.1007/978-3-319-25150-0_1",
        publisher = "Springer",
}