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