Dependable Computing - LADC 2005; Kanade, Takeo; Maziero, Carlos Alberto; Assis Silva, FlÃ¡vio Morais de; Silva, JoÃ£o Gabriel; Andrade, Aline Maria Santos; Assis Silva, Flávio Morais de; Silva, João Gabriel (Springer Berlin / Heidelberg, 2005)