Markovian model as a means of complex modeling of information systems with functional redundancy | IEEE Conference Publication | IEEE Xplore