Decomposition Technique for Integrated Dependability Evaluation of Hardware-Software Systems Using Stochastic Activity Networks. - Yudi Purwantoro; Stuart Bennett (EUROMICRO, 1999)