Modeling Using Extended UML/SPT -- Formal Operations for SDL Language Profiles --