Patrick H. S. Brito, Rogério de Lemos, Eliane Martins, Regina Lúcia de Oliveira Moraes, Cecília M. F. Rubira. Architectural-Based Validation of Fault-Tolerant Software. In Fourth Latin-American Symposium on Dependable Computing, LADC 2009, João Pessoa, Brazil, 1-4 September 2009. pages 103-110, IEEE Computer Society, 2009. [doi]
Abstract is missing.