\begin{thebibliography}{GHJV95}

\bibitem[ALSU07]{compilers}
Alfred~V. Aho, Monica~S. Lam, Ravi Sethi, and Jeffrey~D. Ullman.
\newblock {\em Compilers - Principles, Techniques and Tools}.
\newblock Addison Wesley, 2007.

\bibitem[Com05]{iec_61508}
International~Electrotechnical Commission.
\newblock {\em IEC 61508 Functional safety of
  electrical/electronic/programmable electronic safety-related systems}.
\newblock IEC, 1998/2005.

\bibitem[DME99]{eurocontrol_dman}
E.~Dubouchet, G.~Mavoian, and E.Page.
\newblock {\em PHARE - Advanced Tools Departure Manager}.
\newblock EUROCONTROL / CENA, 1999.

\bibitem[DS09]{bison_manual}
Charles Donnelly and Richard Stallman.
\newblock {\em Bison -- The Yacc-compatible Parser Generator}.
\newblock Free Software Foundation, 2009.

\bibitem[GHJV95]{design_patterns}
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides.
\newblock {\em Design Patterns. Elements of Reusable Object-Oriented Software}.
\newblock Addison-Wesley Longman, 1995.

\bibitem[Glo08]{code_gen}
Tilman Gloetzner.
\newblock {\em IEC 61508 Certification of a Code Generator}.
\newblock 3rd IET International conference on System Safety, 2008.

\bibitem[Joh]{yacc_paper}
Stephen~C. Johnson.
\newblock {\em Yacc: Yet Another Compiler-Compiler}.
\newblock The University of Texas At Austin \emph{(Online)}.

\bibitem[Klu07]{flugleiter_dman}
Marek Kluzniak.
\newblock {\em Departure Manager DMAN Frankfurt}.
\newblock Der Flugleiter -- Gewerkschaft der Flugsicherung GdF, April, 2007.

\bibitem[LS]{lex_paper}
M.~E. Lesk and E.~Schmidt.
\newblock {\em Lex -- A Lexical Analyser Generator}.
\newblock The University of Texas At Austin \emph{(Online)}.

\bibitem[May02]{personal}
Rodney May.
\newblock {\em Personal Competencies and the Requirements of IEC 61508}.
\newblock Programmable Electronics and Safety Systems: Issues, Standards and
  Practical Aspects, 2002.

\bibitem[Men04]{moderne_flugsicherung}
Heinrich Mensen.
\newblock {\em Moderne Flugsicherung - Organisation, Verfahren, Technik}.
\newblock Springer, 2004.

\bibitem[Nie]{lex_yacc_guide}
Tom Niemann.
\newblock {\em A Compact Guide to Lex and Yacc}.
\newblock epaperpress.com.

\bibitem[Org96]{icao_4444}
International Civil~Aviation Organization.
\newblock {\em Procedures for Air Navigation Services: Rules of the Air and Air
  Traffic Services}.
\newblock ICAO, 1996.

\bibitem[PEM07]{flex_manual}
Vern Paxson, Will Estes, and John Millaway.
\newblock {\em The flex Manual}.
\newblock The Flex Project, 2007.

\bibitem[Wir77]{ebnf}
Niklaus Wirth.
\newblock {\em Communications of the ACM}.
\newblock ACM, 1977.

\end{thebibliography}
