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