@techreport{Grammes2006,
  author    = {R{\"u}diger Grammes},
  title     = {Formalisation of the UML Profile for SDL - A Case Study},
  institution = {Fachbereich Informatik},
  series    = {Interner Bericht des Fachbereich Informatik},
  number    = {352},
  year      = {2006},
  url  = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-14530},
}