@InProceedings{Juerjens:UML04-365,
  author =       "Jan J{\"u}rjens and Pasha Shabalin",
  title =        "Automated Verification of {UMLsec} Models for Security
                 Requirements",
  year =         "2004",
  pages =        "365--379",
  ee =           "http://springerlink.metapress.com/content/e47whweyaehmexbd",
  editor =       "Thomas Baar and Alfred Strohmeier and Ana M. D.
                 Moreira and Stephen J. Mellor",
  booktitle =    "{UML} 2004 - The Unified Modelling Language: Modelling
                 Languages and Applications. 7th International
                 Conference, Lisbon, Portugal, October 11--15, 2004.
                 Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "3273",
  ISBN =         "3-540-23307-5",
  URL =          "http://mcs.open.ac.uk/jj2924/publications/papers/uml04.pdf",
}