BFT Services Programming with a Dependable Tuple Space - François Aubry (2010)