MAccS: A Tool for Reachability by Design. - Guillaume Verdier; Jean-Baptiste Raclet (FACS, 2014)

Quotient of Acceptance Specifications Under Reachability Constraints. - Guillaume Verdier; Jean-Baptiste Raclet (LATA, 2015)

Real-Time Model Checking Support for AADL. - Bernard Berthomieu; Jean-Paul Bodeveix; Silvano Dal-Zilio; Mamoun Filali; Didier Le Botlan; Guillaume Verdier; François Vernadat 001 (CoRR, 2015)

Variants of acceptance specifications for modular system design. (Variantes de spécifications à ensemble d'acceptation pour la conception modulaire de systèmes). - Guillaume Verdier (2016)