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