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, Proc. of FSEN'17, ser, vol.10522, pp.20-34, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01533401

, CLEAR Debugging Tool

D. Champelovier, Reference Manual of the LNT to LOTOS Translator (Version 6.7), 2018.

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM'08, ser, vol.5014, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00315312

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, vol.15, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056