Markov/CCMT: Towards an integrated platform for dynamic reliability and risk analysis · Study