de Lima, Rafael, 		S. Rocha, Lincoln, 		M. C. Andrade, Rossana, E 		Lelli, Valeria.
" CatchML - A Language for Modeling and Verification of Context-Aware Exception Handling Behaviour" <em>Anais do Workshop em Modelagem e Simulação de Sistemas Intensivos em Software (MSSiS)</em> [Online], (13 setembro 2019)