@InProceedings{Juerjens:UMLSA04-250,
  author =       "Jan J{\"u}rjens and Pasha Shabalin",
  title =        "Tools for Critical Systems Development with {UML}
                 (Tool Demo)",
  year =         "2004",
  pages =        "250--253",
  ee =           "http://springerlink.metapress.com/content/a8g864vntar45w1w",
  editor =       "Nuno Jardim Nunes and Bran Selic and Alberto Rodrigues
                 da Silva and Jos{\'e} Ambrosio Toval {\'A}lvarez",
  booktitle =    "UML Modeling Languages and Applications, UML 2004
                 Satellite Activities, Lisbon, Portugal, October 11--15,
                 2004, Revised Selected Papers",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "3297",
  ISBN =         "3-540-25081-6",
}