DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems. - Andrea Bondavalli; Ivan Mura; Silvano Chiaradonna; Roberto Filippini; S. Poli; F. Sandrini (DSN, 2000)