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>Proceedings of the 1st Workshop on Modeling and Simulation of Software-Intensive Systems</em>, September 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>.