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