Castor Filho, Fernando and Romanovsky, Alexander and Rubira, Cecilia (2009) Improving reliability of cooperative concurrent systems with exception flow analysis. The Journal of Systems and Software, 82 . pp. 874-890.