Метод выбора техник исследования и решения марковских моделей при моделировании важных для безопасности информационно-управляющих систем. НІСТ 2014, No. 1.