Inferring Declarative Requirements Specifications from Operational Scenarios. - Axel van Lamsweerde; Laurent Willemet (IEEE Trans. Software Eng., 1998)