Cristiano Bertolini Leonardo Brenner Paulo Fernandes Afonso Sales Avelino F. Zorzo Structured Stochastic Modeling of Fault-Tolerant Systems. 139-146 2004 conf/mascots/2004 MASCOTS http://csdl.computer.org/comp/proceedings/mascots/2004/2251/00/22510139abs.htm db/conf/mascots/mascots2004.html#BertoliniBFSZ04