The Canarsie Line CBTC Experience

http://en.wikipedia.org/wiki/BMT_Canarsie_Line

http://www.cnrs.fr/Cnrspresse/n401/pdf/n401rd09.pdf

http://www.clearsy.com/pdf/b2007_b_in_large_scale_projects_siemens.pdf

http://www.fabienne.chaplais.fr/page19/styled-5/page32/http://www.fabienne.chaplais.fr/page19/styled-5/page32/

Systerel

http://www.systerel.fr/

http://www.systerel.fr/Formation-a-la-methode-B.html
http://www.systerel.fr/Techniques-de-preuve-en-B.html
http://www.systerel.fr/Approche-B-systeme.html

DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B

http://research.nii.ac.jp/eventb2012/index.html

Proceedings :
http://www.cs.ncl.ac.uk/publications/trs/papers/1355.pdf

Atelier B とは？

L'Atelier B est maintenant traduit en japonais
http://www.atelierb.eu/ja/