"Metric-based approach and tool for modeling the I&C system using Markov chains = ????????? ?????? ? ?????????? ??? ??????????? ????????????-??????????? ?????? ? ????????????? ???????? ???????." In ICONE-23, 23rd International Conference on Nuclear Engineering. Chiba, Japan, 2015.