Available fail-safe systems. - D. Essame; Jean Arlat; David Powell (FTDCS, 1997)

Handling Safety Critical Requirements in System Engineering Using the B Formal Method . - D. Essame (SAFECOMP, 2004)