Email Record: Autonomy requirements engineering for space missions /