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 <em>Proceedings of the 1st Workshop on Modeling and Simulation of Software-Intensive Systems</em>, (pp. 49-58). Porto Alegre: SBC.
doi:10.5753/mssis.2019.7559