Preliminary Analysis Cycle for B-Method Software Development. - Souâd Taouil-Traverson; Sylvie Vignes (EUROMICRO, 1996)

Designing a B Model for Safety-Critical Software Systems. - Souâd Taouil-Traverson; Sylvie Vignes (B, 1998)