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