@InProceedings{hcss02,
  author = 	 {Alessandro Coglio},
  title = 	 {An Approach to the Generation of
                  High-Assurance {Java Card} Applets},
  booktitle = 	 {Proc.\ 2nd Conference on
                  High Confidence Software and Systems ({HCSS'02})},
  pages = 	 {69--77},
  year = 	 {2002},
  month = 	 {March}
}