@InProceedings{Martin:1999:ICSSEA99,
  author =       "H. Martin",
  title =        "Using test hypotheses to build a {UML} model of
                  object-oriented smart card applications",
  booktitle =    "Proceedings of ICSSEA'99",
  editor =       "TBA",
  publisher =    "TBA",
  year =         "1999",
}