@inproceedings{MM_TAP20,
	Author = {Paolo Masci and C{\'{e}}sar Mu{\~{n}}oz},
	Booktitle = {Proceedings of the 14th International Conference on Tests and Proofs (TAP 2020)},
	Month = {June},
	Title = {A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems},
        series = "Lecture Notes in Computer Science",        
        editor = "Wolfgang Ahrendt and Heike Wehrheim",
        volume = "12165",
        pages = "155--166",
        doi = "10.1007/978-3-030-50995-8_9",
        year = "2020",
        publisher = "Springer",
}