An application of computer aided requirements analysis to a real time deep space system