Analysis of weapon systems subject to correlative cause failures based on Markov process | IEEE Conference Publication | IEEE Xplore