Barboza, Tatiana, Flávia Maria Santoro, and Fernanda Baião.
"
       Validação Automática de Modelos de Processos Intensivos em Conhecimento por meio da Alloy 
      ." <em>Anais do XIV Simpósio Brasileiro de Sistemas de Informação,
Caxias do Sul, 2018</em>. SBC, 2018,  
pp.449-456.