Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. - Marc-Michel Corsini; Alain Griffault; Antoine Rauzy (LPAR, 1993)

The AltaRica Formalism for Describing Concurrent Systems. - André Arnold; Gérald Point; Alain Griffault; Antoine Rauzy (Fundam. Informaticae, 1999)

The Mec 5 Model-Checker. - Alain Griffault; Aymeric Vincent (CAV, 2004)