Controlled semi-markov processes in modeling of the reliability and redundancy maintenance of queueing systems // Computer modelling and new technologies. Scientific and research journal of Transport and Telecommunication Instituteтезисы доклада