Specifying and Analyzing Early Requirements: Some Experimental Results. - Fuxman, Ariel; Liu, Lin; Pistore, Marco; Roveri, Marco; Mylopoulos, John (2003)