Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System. - Kerianne L. Hobbs; Benjamin K. Heiner; Lillian Busse; Kyle Dunlap; Jonathan C. Rowanhill; Ashlie B. Hocking; Aditya Zutshi 003 (CoRR, 2022)