Rafael de Lima, Lincoln S. Rocha, Rossana M. C. Andrade, and Valeria Lelli. 2019.
 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>, setembro 13, 2019, Salvador, Brasil. SBC, Porto Alegre, Brasil, 49-58. DOI: <a href="https://doi.org/10.5753/mssis.2019.7559">https://doi.org/10.5753/mssis.2019.7559</a>.