Representing software usage models with stochastic automata networks. - André G. Farina; Paulo Fernandes 001; Flávio Moreira Oliveira (SEKE, 2002)

Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis. - Cristiano Bertolini; André G. Farina; Paulo Fernandes 001; Flávio Moreira Oliveira (SEFM, 2004)