Validating Requirements: The Evolutionary Approach. - Michel Lemoine; D. Marre; P. Thuillier; J.-L. Wippler (COMPSAC, 1998)