1 \begin{thebibliography}{GHJV95}
3 \bibitem[ALSU07]{compilers}
4 Alfred~V. Aho, Monica~S. Lam, Ravi Sethi, and Jeffrey~D. Ullman.
5 \newblock {\em Compilers - Principles, Techniques and Tools}.
6 \newblock Addison Wesley, 2007.
8 \bibitem[Com05]{iec_61508}
9 International~Electrotechnical Commission.
10 \newblock {\em IEC 61508 Functional safety of
11 electrical/electronic/programmable electronic safety-related systems}.
12 \newblock IEC, 1998/2005.
14 \bibitem[DME99]{eurocontrol_dman}
15 E.~Dubouchet, G.~Mavoian, and E.Page.
16 \newblock {\em PHARE - Advanced Tools Departure Manager}.
17 \newblock EUROCONTROL / CENA, 1999.
19 \bibitem[DS09]{bison_manual}
20 Charles Donnelly and Richard Stallman.
21 \newblock {\em Bison -- The Yacc-compatible Parser Generator}.
22 \newblock Free Software Foundation, 2009.
24 \bibitem[GHJV95]{design_patterns}
25 Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides.
26 \newblock {\em Design Patterns. Elements of Reusable Object-Oriented Software}.
27 \newblock Addison-Wesley Longman, 1995.
29 \bibitem[Glo08]{code_gen}
31 \newblock {\em IEC 61508 Certification of a Code Generator}.
32 \newblock 3rd IET International conference on System Safety, 2008.
34 \bibitem[Joh]{yacc_paper}
36 \newblock {\em Yacc: Yet Another Compiler-Compiler}.
37 \newblock The University of Texas At Austin \emph{(Online)}.
39 \bibitem[Klu07]{flugleiter_dman}
41 \newblock {\em Departure Manager DMAN Frankfurt}.
42 \newblock Der Flugleiter -- Gewerkschaft der Flugsicherung GdF, April, 2007.
44 \bibitem[LS]{lex_paper}
45 M.~E. Lesk and E.~Schmidt.
46 \newblock {\em Lex -- A Lexical Analyser Generator}.
47 \newblock The University of Texas At Austin \emph{(Online)}.
49 \bibitem[May02]{personal}
51 \newblock {\em Personal Competencies and the Requirements of IEC 61508}.
52 \newblock Programmable Electronics and Safety Systems: Issues, Standards and
53 Practical Aspects, 2002.
55 \bibitem[Men04]{moderne_flugsicherung}
57 \newblock {\em Moderne Flugsicherung - Organisation, Verfahren, Technik}.
58 \newblock Springer, 2004.
60 \bibitem[Nie]{lex_yacc_guide}
62 \newblock {\em A Compact Guide to Lex and Yacc}.
63 \newblock epaperpress.com.
65 \bibitem[Org96]{icao_4444}
66 International Civil~Aviation Organization.
67 \newblock {\em Procedures for Air Navigation Services: Rules of the Air and Air
71 \bibitem[PEM07]{flex_manual}
72 Vern Paxson, Will Estes, and John Millaway.
73 \newblock {\em The flex Manual}.
74 \newblock The Flex Project, 2007.
78 \newblock {\em Communications of the ACM}.