Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System