"NASA Proteus"@cs .