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