A dependability layer for large-scale distributed systems. (8th June 2011)