Fernando Castor Filho Patrick Henrique da S. Brito Cecília M. F. Rubira Reasoning About Exception Flow at the Architectural Level. 80-99 2006 conf/rodin/2006 RODIN Book http://dx.doi.org/10.1007/11916246_4 db/conf/rodin/rodin2006.html#FilhoBR06