Requirements definition and its interface to the SARA design methodology for computer-based systems. - James W. Winchester; Gerald Estrin (AFIPS National Computer Conference, 1982)