Leonardo Brenner Paulo Fernandes Brigitte Plateau Ihab Sbeity PEPS2007 - Stochastic Automata Networks Software Tool. 163-164 2007 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2007.30 conf/qest/2007 db/conf/qest/qest2007.html#BrennerFPS07