CLEARSY WEBSITES
Check the following links :

> ATELIER B
> BRAMA
> CLEARSY
> COMPOSYS
> FERSIL

PROJECTS WEBSITES
Check the following links :

> B : une méthode de développement de logiciels sûrs – Loïc Pelhate
> B projects in the world
> Computer safety, reliability, and security – Francesca Saglietti
> Formal specification : a roadmap – Axel Va Lamsweerde

B SITES
Check the following links :

> Conférence ERTS 2012
> Méthode B (Wikipédia)
> Preuves formelles pour la ligne 7 de New York City Transit (Flushing), projet de modernisation
> SITE B Grenoble