BARBOZA, Tatiana; 						SANTORO, Flávia Maria; 						BAIÃO, Fernanda.

       Validação Automática de Modelos de Processos Intensivos em Conhecimento por meio da Alloy 
      . <em>In</em>: SIMPÓSIO BRASILEIRO DE SISTEMAS DE INFORMAÇÃO (SBSI), 14.	, 2018, Caxias do Sul.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2018
.
 p. 449-456.