\@writefile{toc}{\contentsline {section}{\numberline {III}Problem description}{3}{section.3}}
\newlabel{sec:pb}{{III}{3}{Problem description\relax }{section.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {III-A}}Model formalization}{3}{subsection.3.1}}
\newlabel{sec:pbmodel}{{\unhbox \voidb@x \hbox {III-A}}{3}{Model formalization\relax }{subsection.3.1}{}}
\newlabel{sec:pbmodelapp}{{\unhbox \voidb@x \hbox {III-A}1}{3}{Application modeling\relax }{subsubsection.3.1.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {III}Problem description}{3}{section.3}}
\newlabel{sec:pb}{{III}{3}{Problem description\relax }{section.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {III-A}}Model formalization}{3}{subsection.3.1}}
\newlabel{sec:pbmodel}{{\unhbox \voidb@x \hbox {III-A}}{3}{Model formalization\relax }{subsection.3.1}{}}
\newlabel{sec:pbmodelapp}{{\unhbox \voidb@x \hbox {III-A}1}{3}{Application modeling\relax }{subsubsection.3.1.1}{}}