Detection of anomalies in behavior of the software with usage of Markov chains. - Peter D. Zegzhda; S. S. Kort; A. F. Suprun (Autom. Control. Comput. Sci., 2015)