Gustavo Ramos Zani, L.; Lemelle Fernandes, P. PEPS2015 - STOCHASTIC AUTOMATA NETWORKS SOFTWARE TOOL. Rev. Grad. 2016, 9.