de Lima, Rafael, Lincoln S. Rocha, Rossana M. C. Andrade, and Valeria Lelli.
"CatchML - A Language for Modeling and Verification of Context-Aware Exception Handling Behaviour." <em>Anais do I Workshop em Modelagem e Simulação de Sistemas Intensivos em Software,
Salvador, 2019</em>. SBC, 2019,  
pp.49-58.