Sam Malek Nels Beckman Marija Mikic-Rakic Nenad Medvidovic A Framework for Ensuring and Improving Dependability in Highly Distributed Systems. 173-193 2004 conf/icse/2004wads WADS http://dx.doi.org/10.1007/11556169_8 db/conf/icse/wads2004.html#MalekBMM04