\relax 
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Why State Machines?}{1}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Some Metacomments}{1}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}A Simple Example}{2}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}State Machines: Definitions of Basic Concepts}{2}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1}Concepts}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2}Revisiting My Car}{4}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}Infinite Executions and Infinite Behavior}{4}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Infinite States and Infinite State Transitions}{5}}
\newlabel{sec:infinite}{{6}{5}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7}Notes}{6}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.1}Environment and Interfaces}{6}}
\newlabel{sec:interfaces}{{7.1}{6}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {7.1.1}Input and Output Actions}{7}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {7.1.2}Abstraction}{7}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {7.1.3}Actions Revisited}{8}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.2}A Subtle Point: Actions That Can't Happen}{8}}