\backcite {omgqvt1}{{ix}{(document)}{Doc-Start}}
\backcite {Moreau2003,Balland2007}{{7}{1}{division.6}}
\backcite {Bezem2003}{{12}{1.1.4}{subsection.6.1.4}}
\backcite {Kirchner2008}{{12}{1.1.4}{subsection.6.1.4}}
\backcite {Vittek1994,Borovansky1998,Borovansky1996}{{13}{1.1.4}{thm-fr.21}}
\backcite {Visser1998,Visser01}{{13}{1.1.4}{thm-fr.21}}
\backcite {Clavel1996a,Clavel2002,Clavel2011}{{13}{1.1.4}{thm-fr.21}}
\backcite {Clavel1996,Clavel2002a}{{13}{1.1.4.0.0}{thm-fr.21}}
\backcite {MartiOliet2005,Eker2007}{{13}{1.1.4.0.0}{thm-fr.21}}
\backcite {BallandMR08,Balland2012}{{13}{1.1.4.0.0}{thm-fr.21}}
\backcite {Moreau2003,Balland2007}{{13}{1.2}{section.6.2}}
\backcite {Balland2006}{{13}{1.2}{section.6.2}}
\backcite {Bach2009}{{14}{1.2}{section.6.2}}
\backcite {TomManual-2.10}{{14}{1.2}{section.6.2}}
\backcite {Reilles2007}{{14}{1.2.1}{subsection.6.2.1}}
\backcite {Appel1993}{{14}{1.2.1}{lstnumber.1.1.5}}
\backcite {BallandMR08,Balland2012}{{19}{1.2.5}{subsection.6.2.5}}
\backcite {Borovansky1998}{{19}{1.2.5}{subsection.6.2.5}}
\backcite {Visser1998}{{19}{1.2.5}{subsection.6.2.5}}
\backcite {Visser2001}{{19}{1.2.5}{subsection.6.2.5}}
\backcite {Balland2009, BallandMR08, Balland2012}{{20}{1.2.5}{lstnumber.-3.3}}
\backcite {tavares09,Tavares2012}{{23}{1.3}{lstnumber.1.11.8}}
\backcite {burel09}{{24}{1.4}{section.6.4}}
\backcite {bonichon04}{{24}{1.4}{section.6.4}}
\backcite {brauner10}{{24}{1.4}{section.6.4}}
\backcite {brauner10}{{24}{1.4}{section.6.4}}
\backcite {Bach2012}{{24}{1.5}{figure.caption.12}}
\backcite {bezivin2004}{{27}{2.1}{section.7.1}}
\backcite {Bezivin2005a}{{27}{2.1}{section.7.1}}
\backcite {Bezivin2001a}{{27}{2.1}{section.7.1}}
\backcite {Kleppe2003}{{27}{2.1}{section.7.1}}
\backcite {Atkinson2003,Seidewitz2003,Bezivin2005a}{{27}{2.1}{thm-fr.22}}
\backcite {omgmof}{{28}{24}{thm-fr.24}}
\backcite {mda}{{28}{2.1}{thm-fr.24}}
\backcite {Kleppe2003, Mellor2004}{{28}{2.1}{thm-fr.24}}
\backcite {omgmof}{{28}{2.1}{thm-fr.24}}
\backcite {uml2,uml241}{{28}{2.1}{thm-fr.24}}
\backcite {omgocl2}{{28}{2.1}{thm-fr.24}}
\backcite {omgxmi}{{28}{2.1}{thm-fr.24}}
\backcite {omgdi}{{28}{2.1}{thm-fr.24}}
\backcite {omgmof}{{28}{2.1}{thm-fr.24}}
\backcite {KurtevBezAks2002, Bezivin2006}{{28}{2.1}{thm-fr.25}}
\backcite {Klint2005,grammarware}{{28}{2.1}{thm-fr.25}}
\backcite {Kleppe2003}{{28}{14}{thm-fr.23}}
\backcite {uml2}{{29}{2.1}{figure.caption.15}}
\backcite {Favre2006}{{30}{2.1}{figure.caption.15}}
\backcite {Greenfield2003}{{30}{2.1}{figure.caption.15}}
\backcite {Booch2004}{{30}{2.1}{figure.caption.15}}
\backcite {emf09}{{31}{2.1}{figure.caption.15}}
\backcite {Kleppe2003}{{31}{2.1}{figure.caption.15}}
\backcite {Brown2004}{{31}{2.1}{figure.caption.15}}
\backcite {Blanc2005}{{31}{2.1}{figure.caption.15}}
\backcite {Sendall2003}{{31}{2.2}{section.7.2}}
\backcite {Fow99}{{31}{20}{section.7.2}}
\backcite {Czarnecki2003}{{32}{2.2}{thm-fr.26}}
\backcite {Sendall2003}{{32}{2.2}{thm-fr.26}}
\backcite {ibm06}{{32}{2.2}{thm-fr.26}}
\backcite {MensG06}{{32}{2.2}{thm-fr.26}}
\backcite {MensG06}{{32}{2.2.1}{subsection.7.2.1}}
\backcite {Blanc2005}{{33}{2.2.2}{subsection.7.2.2}}
\backcite {omgqvt1}{{33}{2.2.2}{subsection.7.2.2}}
\backcite {Gerber2002}{{34}{2.2.2.0.0}{subsection.7.2.2}}
\backcite {xslt}{{34}{2.2.2.0.0}{subsection.7.2.2}}
\backcite {xquery,xqueryuf}{{34}{2.2.2.0.0}{subsection.7.2.2}}
\backcite {Taentzer2004}{{34}{2.2.2.0.0}{subsection.7.2.2}}
\backcite {xqueryuf}{{34}{21}{subsection.7.2.2}}
\backcite {emf09}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {xslt}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {xqueryuf}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Moreau2003,Balland2007,TomManual-2.10}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Klint2011,Klint2011a}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Brand2001}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Kats2010}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Visser1998}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Visser01}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Clavel1996, Clavel1996a, Clavel2002}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Romero2007,Rivera2008,Rusu2011}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Boronat2009,Boronat2010}{{36}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Taentzer10,Schurr2008}{{36}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Konigs2005}{{36}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Amelunxen2006}{{36}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Arendt2010}{{36}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Taentzer2004}{{36}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Varro2007}{{36}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {omgqvt1}{{36}{2.2.3.0}{subsection.7.2.3}}
\backcite {omgqvt1}{{36}{2.4}{figure.caption.17}}
\backcite {Boronat2009}{{36}{2.2.3.0.0}{figure.caption.17}}
\backcite {Bezivin2003-firstExperiment,Bezivin2005,Jouault2006,JouaultABK08}{{37}{2.2.3.0.0}{figure.caption.17}}
\backcite {atl04}{{37}{2.2.3.0.0}{figure.caption.17}}
\backcite {Lawley2006}{{37}{2.2.3.0.0}{figure.caption.17}}
\backcite {Agrawal2003,Balasubramanian2007}{{37}{2.2.3.0.0}{figure.caption.17}}
\backcite {Varro2007}{{37}{2.2.3.0.0}{figure.caption.17}}
\backcite {kermeta10}{{37}{2.2.3.0.0}{figure.caption.17}}
\backcite {Muller2005,Muller2005a}{{37}{2.2.3.0.0}{figure.caption.17}}
\backcite {Beck2004}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Beck2003}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Williams2003}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Claessen2000,Hughes2010}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Giner2009}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Fleurey2004}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Lin2005}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Brottier2006,Lamari2007,Sen2009}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Rutherford2003}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Fleurey2009}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Earle2013}{{40}{43}{subsection.8.1.2}}
\backcite {Coq,Bertot2004}{{41}{3.1.4}{subsection.8.1.4}}
\backcite {Nipkow2002}{{41}{3.1.4}{subsection.8.1.4}}
\backcite {Garavel2011}{{41}{3.1.5}{subsection.8.1.5}}
\backcite {Berthomieu2004}{{41}{3.1.5}{subsection.8.1.5}}
\backcite {Bayazit2005}{{41}{3.1.5}{subsection.8.1.5}}
\backcite {DO-178C}{{42}{3.2}{thm-fr.32}}
\backcite {DO-330}{{43}{3.2}{thm-fr.33}}
\backcite {DO-330}{{43}{34}{thm-fr.34}}
\backcite {Falleri2006}{{44}{3.3}{thm-fr.34}}
\backcite {Varro2002}{{51}{4.3.1}{figure.caption.21}}
\backcite {Varro2007}{{51}{4.3.1}{figure.caption.21}}
\backcite {Jakumeit2010}{{51}{4.3.1}{figure.caption.21}}
\backcite {Jouault2005}{{59}{5.2.1}{subsection.11.2.1}}
\backcite {Bach2012}{{67}{6.2}{section.12.2}}
\backcite {Czarnecki2003,ibm06}{{68}{6.2}{lstnumber.6.4.3}}
\backcite {tavares09}{{77}{6.3.2}{figure.caption.45}}
\backcite {combemale08}{{83}{7.1}{section.13.1}}
\backcite {Berthomieu2004}{{91}{7.1.3.0.0}{lstnumber.7.3.25}}
\backcite {Bach2012}{{94}{3}{Item.22}}
\backcite {Bach2012}{{96}{7.2.3.0.0}{lstnumber.7.6.29}}
\backcite {Berthomieu2004}{{119}{A.3}{section.16.3}}