Шишацька ОВ, Матійчук ЛП, Шишацький АВ. Специфікація та верифікація формальної моделі системи реального часу із використанням TLA+. Cent. nauk. vìsn., Teh. nauk. [інтернет]. 26, Травень 2025 [цит. за 14, Квітень 2026];(11(42).2):38-44. доступний у: https://centralukraine-tech.kntu.kr.ua/tech/article/view/438