1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Abrial, J.R.: Formal methods in industry: achievements, problems, future. In: SE 2006 (2006)
3. Lecture Notes in Computer Science;F Badeau,2005
4. Bardot, T.: SysML modeling rules for SysML to B. Technical report, MitsubishiElectric R&D Centre Europe (2014).
www.github.com/openETCS/toolchain/blob/master/ToolDescription/MERCE-SysML-to-B/2014_12_04_SysMLModelingRules-for-SysMLtoB_MFR14-ARC-839--MFR14-ECD-530.pdf
5. Baudin, P., Filliâtre, J.C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISO C Specification Language