DE LIMA, Rafael; 						S. ROCHA, Lincoln; 						M. C. ANDRADE, Rossana; 						LELLI, Valeria.
CatchML - A Language for Modeling and Verification of Context-Aware Exception Handling Behaviour. <em>In</em>: WORKSHOP EM MODELAGEM E SIMULAÇÃO DE SISTEMAS INTENSIVOS EM SOFTWARE (MSSIS), 1.	, 2019, Salvador.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2019
.
 p. 49-58. 
		DOI: <a href="https://doi.org/10.5753/mssis.2019.7559">https://doi.org/10.5753/mssis.2019.7559</a>.