Email Record: Assessing V&V processes for automation with respect to vulnerabilities to loss of airplane state awareness /