Modeling and analysis of correlated software failures of multiple types | IEEE Journals & Magazine | IEEE Xplore