de Lima, R., S. Rocha, L., M. C. Andrade, R., & Lelli, V. (2019). CatchML - A Language for Modeling and Verification of Context-Aware Exception Handling Behaviour. In Anais do I Workshop em Modelagem e Simulação de Sistemas Intensivos em Software, (pp. 49-58). Porto Alegre: SBC. doi:10.5753/mssis.2019.7559