Анализ и трансформации исполняемых UML моделей

Волкова Е.Д., Страбыкин А.Д.,
Труды Института системного программирования РАН