International audienceRequirements quality has long been an issue in safety-critical development. Programme pressures and lack ofunderstanding of user needs, combined with inadequate methods and tools, leads to incomplete andinconsistent requirements specification. This often results in poor-quality software and significantoverspending on programmes