D. Essame

Available fail-safe systems

Jean Arlat, David Powell, D. Essame, 1997, Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.

PADRE: a Protocol for Asymmetric Duplex REdundancy

J. Arlat, D. Powell, D. Essame, 1999, Dependable Computing for Critical Applications 7.

Handling Safety Critical Requirements in System Engineering Using the B Formal Method

D. Essame, 2004, SAFECOMP.