T. Barboza, F. Santoro, and F. Baião.
"
       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>, Caxias do Sul, 2018, pp. 449-456.