BASE: Using abstraction to improve fault tolerance
Software rejuvenation: analysis, module and applications