Barboza, Tatiana, 		Santoro, Flávia Maria, E 		Baião, Fernanda.
" 
       Validação Automática de Modelos de Processos Intensivos em Conhecimento por meio da Alloy 
      " <em>Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI)</em> [Online], (30 novembro 2018)