Barboza, T., 		Santoro, F., & 		Baião, F.
2018 nov 30.  
       Validação Automática de Modelos de Processos Intensivos em Conhecimento por meio da Alloy 
      . Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI). [Online] :