SawyerPeteRaysonP.GarsideR.2002-09REVERE: support for requirements synthesis from documents