@TechReport{DH97,
  author =       {Th.~Dei{\ss} and Th.~Hillenbrand},
  title =        {A Case Study on the Use of {SDL}},
  institution =  {Universit\"{a}t Kaiserlautern},
  year =         1997,
  type =         {SFB 501 Internal Report},
  number =       {03/97}
}