@phdthesis{Andronick:phd,
    author           = {June Andronick},
    paperUrl         = {https://trustworthy.systems/publications/papers/Andronick%3Aphd.pdf},
    school           = {Universit\'e Paris-Sud},
    title            = {{Mod\'elisation et V\'erification Formelles de Syst\`emes Embarqu\'es dans les Cartes \`a
                        Microprocesseur -- Plate-Forme Java Card et Syst\`eme d'Exploitation}},
    year             = {2006}
  }