Tatiana Barboza, Flávia Maria Santoro, and Fernanda Baião. 2018.
 
       Automatic Validation of Knowledge-intensive Process Models through Alloy 
      . In <em>Proceedings of the 14th Brazilian Symposium on Information Systems</em>, November 30, 2018, Caxias do Sul, Brasil. SBC, Porto Alegre, Brasil, 449-456.