Gustavo Ramos Zani, Luis, and Paulo Lemelle Fernandes. “PEPS2015 - STOCHASTIC AUTOMATA NETWORKS SOFTWARE TOOL”. Revista Da Graduação, vol. 9, no. 1, May 2016, https://revistaseletronicas.pucrs.br/graduacao/article/view/23959.