Tvardovskii, A. S., & Evtushenko, N. V. (2019, October). FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts. Труды Института системного программирования РАН.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Tvardovskii, Aleksandr Sergeevitch, و Nina Vladimirovna Evtushenko. "FSM Abstraction Based Method for Deriving Test Suites with Guaranteed Fault Coverage Against Nondeterministic Finite State Machines with Timed Guards and Timeouts." Труды Института системного программирования РАН Oct. 2019.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Tvardovskii, Aleksandr Sergeevitch, و Nina Vladimirovna Evtushenko. "FSM Abstraction Based Method for Deriving Test Suites with Guaranteed Fault Coverage Against Nondeterministic Finite State Machines with Timed Guards and Timeouts." Труды Института системного программирования РАН, Oct. 2019.