A Proactive Safety Enhancement Methodology for General Aviation Using a Synthesis of Aircraft Performance Models and Flight Data Analysis رسالة دكتوراه