Patrick H. S. Brito, CecÃlia M. F. Rubira, Rogério de Lemos. Verifying architectural variabilities in software fault tolerance techniques. In Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, WICSA/ECSA 2009, Cambridge, UK, 14-17 September 2009. pages 231-240, IEEE, 2009. [doi]