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