R. de Lima, L. S. Rocha, R. M. C. Andrade, and V. Lelli.
"CatchML - A Language for Modeling and Verification of Context-Aware Exception Handling Behaviour", in <em>Anais do I Workshop em Modelagem e Simulação de Sistemas Intensivos em Software</em>, Salvador, 2019, pp. 49-58, doi: <a href="https://doi.org/10.5753/mssis.2019.7559">https://doi.org/10.5753/mssis.2019.7559</a>.