«Гарантоздатність кіберфізичних комп’ютерних систем із вбудованими мікропропроцесорами» (2026) Математичні машини і системи, (3), с. 112–125. doi:10.34121/1028-9763-2026-3-112-125.