Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios (EMSE, 2026)