\relax \citation{FMEA} \citation{takeup} \citation{FMEA} \citation{SIL} \@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}} \@writefile{toc}{\contentsline {section}{\numberline {2}Formal Description of PLD}{1}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Concrete PLD Definition}{2}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.2} PLD Definition}{2}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Semantics of PLD}{3}} \newlabel{FMGderivation}{{9}{3}} \@writefile{toc}{\contentsline {section}{\numberline {3}Example Diagrams}{3}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.1}How to read a PLD diagram}{3}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.2} Logical AND example }{4}} \newlabel{fig:ld_and}{{3.2}{4}} \@writefile{toc}{\contentsline {paragraph}{How this would be interpreted in failure analysis}{4}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.3} Logical OR example }{5}} \newlabel{fig:ld_or}{{3.3}{5}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Labels and useage}{6}} \newlabel{fig:ld_meq2}{{3.4}{6}} \@writefile{toc}{\contentsline {paragraph}{How this would be interpreted in failure analysis}{6}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.5} Repeated Contour example }{7}} \newlabel{fig:repeat}{{3.5}{7}} \@writefile{toc}{\contentsline {paragraph}{How this would be interpreted in failure analysis}{7}} \citation{wdycwopt} \@writefile{toc}{\contentsline {subsection}{\numberline {3.6} Inhibit Failure }{8}} \newlabel{fig:inhibit}{{3.6}{8}} \@writefile{toc}{\contentsline {paragraph}{How this would be interpreted in failure analysis}{8}} \bibstyle{plain} \bibdata{vmgbibliography,mybib} \@writefile{toc}{\contentsline {section}{\numberline {4}Intended use in FMMD}{9}} \@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Example Sub-system}{9}}