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