Requirements definition and its interface to the SARA design methodology for computer-based systems