Шишацька, О. В.; Матійчук, Л. П.; Шишацький, А. В. Специфікація та верифікація формальної моделі системи реального часу із використанням TLA+. Cent. nauk. vìsn., Teh. nauk. 2025, 38-44.