\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\citation{VanMierlo_SCCD}
\citation{Harel_Statecharts}
\citation{Harel_VisualFormalisms}
\citation{Harel1996}
\citation{Harel_Rhapsody}
\bibstyle{IEEEtran}
\bibdata{bibliography}
\bibcite{VanMierlo_SCCD}{1}
\bibcite{Harel_Statecharts}{2}
\bibcite{Harel_VisualFormalisms}{3}
\bibcite{Harel1996}{4}
\bibcite{Harel_Rhapsody}{5}
\@writefile{toc}{\contentsline {section}{References}{2}{section*.11}}