Rodrigues, B., & 		Gonçalves, E.
2018 May  2.  Evaluation of the testability of the Moise+ organizational model based on Petri Nets. Proceedings of the Workshop-School on Agents, Environments, and Applications (WESAAC). [Online] :