@inproceedings{FuhrmannKR+06,
  author = {Hauke Fuhrmann and Jens Koch and J\"orn Rennhack and Reinhard von Hanxleden},
  title = {Model-Based System Design of Time-Triggered Architectures---An avionics case study},
  booktitle = {25th Digital Avionics Systems Conference (DASC '06)},
  year = {2006},
  address = {Portland, OR, USA},
  month = {October},
  pdf = {dasc06.pdf},
}