Barboza, T., 		Santoro, F., & 		Baião, F.
2018 Nov 30.  
       Automatic Validation of Knowledge-intensive Process Models through Alloy 
      . Proceedings of the Brazilian Symposium on Information Systems (SBSI). [Online] :