@incollection{vonHanxleden05,
  author = {Reinhard von Hanxleden},
  editor = {Peter Liggesmeyer and Dieter Rombach},
  booktitle = {Software Engineering f{\"u}r Eingebettete Systeme},
  title = {{Modellierung Reaktiver Systeme - Statecharts und Synchrone Sprachen}},
  publisher = {Spektrum Akademischer Verlag},
  year = {2005},
}