M. Terra-Neves, N. Machado, I. Lynce, and V. Manquinho, “Concurrency Debugging with MaxSMT”, AAAI, vol. 33, no. 01, pp. 1608-1616, Jul. 2019.