A symbolic justice violations transition system for unrealizable GR(1) specifications. - Aviv Kuvent; Shahar Maoz; Jan Oliver Ringert (ESEC/SIGSOFT FSE, 2017)