@InProceedings{Beckert:CSDUML04-139,
  author =       "Bernhard Beckert and Gerd Beuster",
  title =        "Formal Specification of Security-relevant Properties
                 of User Interfaces",
  booktitle =    "Proceedings, 3rd International Workshop on Critical
                 Systems Development with UML",
  address =      "Lisbon, Portugal",
  note =         "TU Munich Technical Report TUM-I0415",
  pages =        "139--146",
  year =         "2004",
  URL =          "http://wwwbib.informatik.tu-muenchen.de/infberichte/2004/TUM-I0415.pdf",
}