. Clear-debugging-tool,

C. Baier and J. Katoen, Principles of Model Checking, 2008.

G. Barbon, V. Leroy, and G. Salaün, Debugging of concurrent systems using counterexample analysis, FSEN 2017, vol.10522, pp.20-34, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01533401

G. Barbon, V. Leroy, and G. Salaün, Counterexample simplification for liveness property violation, SEFM 2018, vol.10886, pp.173-188, 2018.
DOI : 10.1007/978-3-319-92970-5_11
URL : https://hal.archives-ouvertes.fr/hal-01818790

R. Mateescu and D. Thivolle, A model checking language for concurrent value-passing systems, FM 2008, vol.5014, pp.148-164, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00315312