Tatiana Barboza, Flávia Maria Santoro, and Fernanda Baião. 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>, novembro 30, 2018, Caxias do Sul, Brasil. SBC, Porto Alegre, Brasil, 449-456.