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