de Lima, R., 		S. Rocha, L., 		M. C. Andrade, R., & 		Lelli, V.
2019 set 13.  CatchML - A Language for Modeling and Verification of Context-Aware Exception Handling Behaviour. Anais do Workshop em Modelagem e Simulação de Sistemas Intensivos em Software (MSSiS). [Online] :