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