@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}, }