Assessing V&V processes for automation with respect to vulnerabilities to loss of airplane state awareness / - Whitlow, Stephen