Подход к тестированию параллельных систем на основе UCM-спецификаций [Электронный ресурс] = Approach to concurrent systems testing based on UCM specification / П.Д. Дробинцев, И.В. Никифоров, Н.В. Воинов, В.П. Котляров. — Электрон. текстовые дан. (1 файл : 243 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 3 (198). — (Конференция "Технологии Microsoft в теории и практике программирования"). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4685.pdf>.