Patrick H. S. Brito Rogério de Lemos Cecília M. F. Rubira Eliane Martins Architecting Fault Tolerance with Exception Handling: Verification and Validation. 212-237 2009 24 J. Comput. Sci. Technol. 2 http://dx.doi.org/10.1007/s11390-009-9219-2 db/journals/jcst/jcst24.html#BritoLRM09