Autonomy requirements engineering for space missions (2014)