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