
sawine@1: \begin{thebibliography}{GHJV95}
sawine@1: 
sawine@1: \bibitem[ALSU07]{compilers}
sawine@1: Alfred~V. Aho, Monica~S. Lam, Ravi Sethi, and Jeffrey~D. Ullman.
sawine@1: \newblock {\em Compilers - Principles, Techniques and Tools}.
sawine@1: \newblock Addison Wesley, 2007.
sawine@1: 
sawine@1: \bibitem[Com05]{iec_61508}
sawine@1: International~Electrotechnical Commission.
sawine@1: \newblock {\em IEC 61508 Functional safety of
sawine@1:   electrical/electronic/programmable electronic safety-related systems}.
sawine@1: \newblock IEC, 1998/2005.
sawine@1: 
sawine@1: \bibitem[DME99]{eurocontrol_dman}
sawine@1: E.~Dubouchet, G.~Mavoian, and E.Page.
sawine@1: \newblock {\em PHARE - Advanced Tools Departure Manager}.
sawine@1: \newblock EUROCONTROL / CENA, 1999.
sawine@1: 
sawine@1: \bibitem[DS09]{bison_manual}
sawine@1: Charles Donnelly and Richard Stallman.
sawine@1: \newblock {\em Bison -- The Yacc-compatible Parser Generator}.
sawine@1: \newblock Free Software Foundation, 2009.
sawine@1: 
sawine@1: \bibitem[GHJV95]{design_patterns}
sawine@1: Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides.
sawine@1: \newblock {\em Design Patterns. Elements of Reusable Object-Oriented Software}.
sawine@1: \newblock Addison-Wesley Longman, 1995.
sawine@1: 
sawine@1: \bibitem[Glo08]{code_gen}
sawine@1: Tilman Gloetzner.
sawine@1: \newblock {\em IEC 61508 Certification of a Code Generator}.
sawine@1: \newblock 3rd IET International conference on System Safety, 2008.
sawine@1: 
sawine@1: \bibitem[Joh]{yacc_paper}
sawine@1: Stephen~C. Johnson.
sawine@1: \newblock {\em Yacc: Yet Another Compiler-Compiler}.
sawine@1: \newblock The University of Texas At Austin \emph{(Online)}.
sawine@1: 
sawine@1: \bibitem[Klu07]{flugleiter_dman}
sawine@1: Marek Kluzniak.
sawine@1: \newblock {\em Departure Manager DMAN Frankfurt}.
sawine@1: \newblock Der Flugleiter -- Gewerkschaft der Flugsicherung GdF, April, 2007.
sawine@1: 
sawine@1: \bibitem[LS]{lex_paper}
sawine@1: M.~E. Lesk and E.~Schmidt.
sawine@1: \newblock {\em Lex -- A Lexical Analyser Generator}.
sawine@1: \newblock The University of Texas At Austin \emph{(Online)}.
sawine@1: 
sawine@1: \bibitem[May02]{personal}
sawine@1: Rodney May.
sawine@1: \newblock {\em Personal Competencies and the Requirements of IEC 61508}.
sawine@1: \newblock Programmable Electronics and Safety Systems: Issues, Standards and
sawine@1:   Practical Aspects, 2002.
sawine@1: 
sawine@1: \bibitem[Men04]{moderne_flugsicherung}
sawine@1: Heinrich Mensen.
sawine@1: \newblock {\em Moderne Flugsicherung - Organisation, Verfahren, Technik}.
sawine@1: \newblock Springer, 2004.
sawine@1: 
sawine@1: \bibitem[Nie]{lex_yacc_guide}
sawine@1: Tom Niemann.
sawine@1: \newblock {\em A Compact Guide to Lex and Yacc}.
sawine@1: \newblock epaperpress.com.
sawine@1: 
sawine@1: \bibitem[Org96]{icao_4444}
sawine@1: International Civil~Aviation Organization.
sawine@1: \newblock {\em Procedures for Air Navigation Services: Rules of the Air and Air
sawine@1:   Traffic Services}.
sawine@1: \newblock ICAO, 1996.
sawine@1: 
sawine@1: \bibitem[PEM07]{flex_manual}
sawine@1: Vern Paxson, Will Estes, and John Millaway.
sawine@1: \newblock {\em The flex Manual}.
sawine@1: \newblock The Flex Project, 2007.
sawine@1: 
sawine@1: \bibitem[Wir77]{ebnf}
sawine@1: Niklaus Wirth.
sawine@1: \newblock {\em Communications of the ACM}.
sawine@1: \newblock ACM, 1977.
sawine@1: 
sawine@1: \end{thebibliography}




