\relax 
\citation{fricke95}
\citation{hopcroft90}
\citation{harel87}
\citation{huizing91}
\@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {4.}Tycoon Statecharts zur Modellierung dynamischen Systemverhaltens}{37}}
\@writefile{lof}{\string\addvspace\space {10pt}}
\@writefile{lot}{\string\addvspace\space {10pt}}
\newlabel{Chap:Harel}{{4}{37}}
\citation{harel87}
\citation{beek94}
\citation{beek94}
\citation{rumb91}
\citation{hopcroft90}
\citation{glinz95}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.1}Statecharts als strukturierte endliche Automaten}{38}}
\newlabel{Sec:ChartStruk}{{4.1}{38}}
\citation{harel87}
\citation{huizing88}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {4.1}{\ignorespaces  Statechart Metamodell}}{39}}
\newlabel{Fig:ChartMeta}{{4.1}{39}}
\citation{harel87}
\citation{harel87}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {4.2}{\ignorespaces  {\string\psl\space Television} Statechart}}{41}}
\newlabel{Fig:StChart1Abstrkt}{{4.2}{41}}
\citation{rumb91}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.2}Zust\string\active@dq\space \dq@prtct{a@}nde und Zustandsverfeinerungen}{42}}
\newlabel{Sec:Zustand}{{4.2}{42}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {4.3}{\ignorespaces  Generalisierungseigenschaften von Zust\string\active@dq\space \dq@prtct{a@}nden}}{42}}
\newlabel{Fig:ZustandsGen}{{4.3}{42}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {4.4}{\ignorespaces  Verfeinerter Zustand {\string\psl\space Power\unhbox \voidb@x \kern .06em \vbox {\hrule width.3em}On}}}{43}}
\newlabel{Fig:ChartPowerOn}{{4.4}{43}}
\citation{fricke95}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.1}Basiszustand}{45}}
\newlabel{SubSec:Basis}{{4.2.1}{45}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.2}Hierarchischer Zustand}{46}}
\newlabel{SubSec:Hierarchie}{{4.2.2}{46}}
\newlabel{SubSubSec:ODER}{{4.2.2}{46}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {4.5}{\ignorespaces  ODER-Zustand {\string\psl\space Videotxt}}}{46}}
\newlabel{Fig:ChartVtxt}{{4.5}{46}}
\citation{harel87}
\newlabel{SubSubSec:UND}{{4.2.2}{48}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {4.6}{\ignorespaces  UND-Zustand {\string\psl\space Display}}}{49}}
\newlabel{Fig:ChartDisplay}{{4.6}{49}}
\citation{huizing88}
\newlabel{SubSubSec:Wurzel}{{4.2.2}{50}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.3}Zustands\string\active@dq\space \dq@prtct{u@}berg\string\active@dq\space \dq@prtct{a@}nge}{51}}
\newlabel{Sec:ZuUeber}{{4.3}{51}}
\citation{pnueli91}
\citation{pnueli91}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.3.1}Ereignis}{52}}
\newlabel{SubSec:Ereignis}{{4.3.1}{52}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.3.2}Aktion}{53}}
\newlabel{SubSec:Aktionen}{{4.3.2}{53}}
\citation{pnueli91}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.4}Semantik von Ausf\string\active@dq\space \dq@prtct{u@}hrungsschritten}{54}}
\newlabel{Sec:Ausfuehrung}{{4.4}{54}}
\citation{fricke95}
\citation{reisig82}
\citation{jessen87}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.4.1}Systemkonfiguration}{55}}
\newlabel{SubSec:Konfig}{{4.4.1}{55}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {4.7}{\ignorespaces  Ausgangskonfiguration}}{55}}
\newlabel{Fig:Konf3}{{4.7}{55}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {4.8}{\ignorespaces  Folgekonfiguration}}{55}}
\newlabel{Fig:Konf4}{{4.8}{55}}
\citation{day93}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.4.2}Schrittkonstruktion}{56}}
\newlabel{SubSec:Step}{{4.4.2}{56}}
\citation{pnueli91}
\citation{harel87}
\citation{leveson94}
\citation{harel90}
\citation{pnueli91}
\global\@namedef{cp@modell}{
\setcounter{page}{59}
\setcounter{equation}{0}
\setcounter{enumi}{5}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{2}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{4}
\setcounter{section}{4}
\setcounter{subsection}{2}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{8}
\setcounter{table}{0}
\setcounter{bspcount}{0}
}