A Model Checking Language for Concurrent Value-Passing Systems. - Radu Mateescu 001; Damien Thivolle (FM, 2008)

Verification of GALS Systems by Combining Synchronous Languages and Process Calculi. - Hubert Garavel; Damien Thivolle (SPIN, 2009)

Langages modernes pour la modélisation et la vérification des systèmes asynchrones. (Modern languages for modeling and verifying asynchronous systems). - Damien Thivolle (2011)