Barboza, T., 		Santoro, F., & 		Baião, F.
(2018).
 
       Automatic Validation of Knowledge-intensive Process Models through Alloy 
      .
In <em>Proceedings of the 14th Brazilian Symposium on Information Systems</em>, (pp. 449-456). Porto Alegre: SBC.