@inproceedings{ProchnowvH06,
  author = {Steffen Prochnow and Reinhard von Hanxleden},
  title = {Comfortable Modeling of Complex Reactive Systems},
  booktitle = {Proceedings of Design, Automation and Test in Europe Conference (DATE '06)},
  address = {Munich, Germany},
  month = {March},
  year = {2006},
  doi = {10.1109/DATE.2006.243970},
  pdf = {date06.pdf},
  urltalk = {date06-talk.pdf},
}