FOREVER: Fault/intrusion REmo Val through Evolution & Recovery - Alysson Bessani (2010)