Email Record: Nondeterministic approaches and their potential for future aerospace systems :