SMS versenden: Assessing V&V processes for automation with respect to vulnerabilities to loss of airplane state awareness / Stephen Whitlow, Chris Wilkinson, and Chris Hamblin.