de Lima, Rafael, 		S. Rocha, Lincoln, 		M. C. Andrade, Rossana, AND 		Lelli, Valeria.
" CatchML - A Language for Modeling and Verification of Context-Aware Exception Handling Behaviour" <em>Proceedings of the Workshop on Modeling and Simulation of Software-Intensive Systems (MSSiS)</em> [Online], (13 September 2019)