James W. Winchester Gerald Estrin Requirements definition and its interface to the SARA design methodology for computer-based systems. 369-379 1982 AFIPS National Computer Conference http://doi.acm.org/10.1145/1500774.1500820 conf/afips/1982 db/conf/afips/ncc82.html#WinchesterE82