%0 Journal Article
%T Integrating runtime verification into an automated UAS traffic management system
%A Hammer, Abigail
%A Cauwels, Matthew
%A Hertz, Benjamin
%A Jones, Phillip H.
%A Rozier, Kristin Y.
%J Innovations in Systems and Software Engineering
%V 18
%N 4
%P 567-580
%@ 1614-5046
%D 2022-12-01
%I Springer London
%~ DeepDyve