L. Gustavo Ramos Zani e P. Lemelle Fernandes, “PEPS2015 - STOCHASTIC AUTOMATA NETWORKS SOFTWARE TOOL”, Rev. Grad., vol. 9, nº 1, maio 2016.