Veríssimo, Paulo, Nuno Ferreira Neves, and Miguel Correia. The Middleware Architecture of MAFTIA: A Blueprint In 3rd IEEE Survivability Workshop., 2000.