Aphrodite Tsalgatidou Dimitris Gouscos Constantin Halatsis Specifiying and Validating Requirements: The VENUS System. 89-102 1994 conf/tools/13-1994 TOOLS (13) db/conf/tools/tools13-1994.html#TsalgatidouGH94