L. Gustavo Ramos Zani and P. Lemelle Fernandes, “PEPS2015 - STOCHASTIC AUTOMATA NETWORKS SOFTWARE TOOL”, Rev. Grad., vol. 9, no. 1, May 2016.