Баранов, С.     Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами [Текст] / С. Баранов // Кибернетика и системный анализ. — К. : Институт кибернетики им. В.М. Глушкова НАН Украины, 2003. — №6. — С.3-12.