@inproceedings{CHHJR20,
    author = {Matthew Cauwels and Abigail Hammer and Benjamin Hertz and Phillip Jones and Kristin Yvonne Rozier},
    title = {Integrating Runtime Verification into an Automated UAS Traffic Management System},
    booktitle = {Proceedings of {DETECT: international workshop on moDeling, vErification and Testing of dEpendable CriTical systems}},
    publisher = {Springer},
    series = {Communications in Computer and Information Science (CCIS)},
    volume = {1269},
    pages = {340--357},
    address = {L'Aquila, Italy},
    month = {September},
    year = {2020},
    doi = {10.1007/978-3-030-59155-7_26},
}