"RAISE specification language.Проектирование и декомпозиция двунаправленных потоков данных интерактивных систем" - читать интересную книгу автора (Пискунов А.Г.)