Text this: Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios