ЯКОВИНА, В. .; СИМЕЦЬ, І. МЕТОД ПРЕДСТАВЛЕННЯ МАРКОВСЬКОГО ПРОЦЕСУ ВИЩОГО ПОРЯДКУ У ВИГЛЯДІ ЕКВІВАЛЕНТНОГО ПРОЦЕСУ ПЕРШОГО ПОРЯДКУ ДЛЯ ОЦІНЮАННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ. CSIT 2022, 66-73.