Terra-Neves, M.; Machado, N.; Lynce, I.; Manquinho, V. Concurrency Debugging With MaxSMT. AAAI 2019, 33, 1608-1616.