Метрико-интервальные модели и инструментальные средства для оценивания готовности информационно-управляющих систем с использованием марковских процессов