Patrick Heymans Eric Dubois 0001 Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements. 202-218 1998 3 Requir. Eng. 3/4 https://doi.org/10.1007/s007660050005 https://www.wikidata.org/entity/Q59442583 db/journals/re/re3.html#HeymansD98