Automatic Ground Collision Avoidance and Loss of Control Prevention Systems for General Aviation using Run-time Assurance | IEEE Conference Publication | IEEE Xplore