@techreport{FuhrmannvH09,
  author = {Hauke Fuhrmann and Reinhard von Hanxleden},
  title = {Enhancing Graphical Model-Based System Design---An Avionics Case Study},
  institution = {Christian-Albrechts-Universit{\"a}t zu Kiel, Department of Computer Science},
  year = {2009},
  type = {Technical Report},
  number = {0901},
  month = {January},
  pdf = {report-0901.pdf},
}