Letichevsky, F.     Deductive verfication of requirements for tvtnt-driven architecture [Текст] / F. Letichevsky, J. Letichevsky, V. Peschanenko, A. Guba // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2013. — №2. — с.54-61.