BARBOZA, Tatiana; 						SANTORO, Flávia Maria; 						BAIÃO, Fernanda.
 
       Automatic Validation of Knowledge-intensive Process Models through Alloy 
      . <em>In</em>: BRAZILIAN SYMPOSIUM ON INFORMATION SYSTEMS (SBSI), 14.	, 2018, Caxias do Sul.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2018
.
 p. 449-456.