@iarticle{HCHJR21,
    author = {Abigail Hammer and Matthew Cauwels and Benjamin Hertz and Phillip Jones and Kristin Yvonne Rozier},
    title = {Integrating Runtime Verification into an Automated UAS Traffic Management System},
    journal = {{Innovations in Systems and Software Engineering: A NASA Journal}},
    publisher = {Springer},
    month = {July},
    year = {2021},
    doi = {10.1007/s11334-021-00407-5},
}