Автоматизированное моделирование программных систем учебное пособие - Дзюба Д. В. Дмитрий Владимирович (Москва, Вузовская книга, 2003)