I wrote here
All I want from possible specifications is that they come with
- an automated test suite, that verifies at least every statement of the specification, i.e. MUST, SHOULD, …, once
- a reference implementation that passes said test suite
I think taking these criteria into account will lead to a very different process than one without.