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