«Гарантоздатність кіберфізичних комп’ютерних систем із вбудованими мікропропроцесорами». Математичні машини і системи, no. 3 (Вересень 14, 2026): 112–125. дата звернення Вересень 22, 2026. https://j-mms.de/index.php/mms/article/view/2026-3-a11.