Study on the systematic approach of Markov modeling for dependability analysis of complex fault-tolerant features with voting logics /Kwang Seop Son a,b,n , Dong Hoon Kim a , Chang Hwoi Kim a , Hyun Gook Kang - Son,Kwang Seop