@inproceedings{DBLP:conf/asm/CavarraK04,
  title = "Formalizing Liveness-Enriched Sequence Diagrams Using {ASM}s",
  author = "Alessandra Cavarra and Juliana K{\"u}ster Filipe",
  year = "2004",
  booktitle = "Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg,
Germany, May 24-28, 2004. Proceedings",
  editor = "Wolf Zimmermann and Bernhard Thalheim",
  isbn = "3-540-22094-1",
  pages = "62-77",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3052{\&}spage=62",
  volume = "3052",
}