Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. - Françoise Bellegarde; Christophe Darlot; Jacques Julliand; Olga Kouchnarenko (ZB, 2000)

Reformulation: A Way to Combine Dynamic Properties and B Refinement. - Françoise Bellegarde; Christophe Darlot; Jacques Julliand; Olga Kouchnarenko (FME, 2001)

Refinement Preserves PLTL Properties. - Christophe Darlot; Jacques Julliand; Olga Kouchnarenko (ZB, 2003)

About Fast and TReX Accelerations. - Christophe Darlot; Alain Finkel; Laurent Van Begin (AVoCS, 2004)