Шишацька, О. В., Л. П. Матійчук, і А. В. Шишацький. 2025. «Специфікація та верифікація формальної моделі системи реального часу із використанням TLA+». Центральноукраїнський науковий вісник. Технічні науки, вип. 11(42).2 (Травень):38-44. https://doi.org/10.32515/2664-262X.2025.11(42).2.38-44.