Structured Stochastic Modeling of Fault-Tolerant Systems
Test Case Generation using Stochastic Automata Networks: Quantitative Analysis
Paulo Fernandes
A. G. Farina
Flávio Moreira de Oliveira
Leonardo Brenner
Avelino Francisco Zorzo
Afonso Henrique Corrêa de Sales