Barboza, T., 		Santoro, F., & 		Baião, F.
(2018).

       Validação Automática de Modelos de Processos Intensivos em Conhecimento por meio da Alloy 
      .
In <em>Anais do XIV Simpósio Brasileiro de Sistemas de Informação</em>, (pp. 449-456). Porto Alegre: SBC.