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