Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios. - Richárd Szabó; Dániel Szekeres; Simon József Nagy; Zoltán Thimár; István Majzik; Zoltán Micskei; András Vörös 001 (Empir. Softw. Eng., 2026)