@article{DBLP:journals/entcs/CavarraF05,
  title = "Combining Sequence Diagrams and {OCL} for Liveness",
  author = "Alessandra Cavarra and Juliana K{\"u}ster Filipe",
  year = "2005",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "19-38",
  volume = "115",
  doi = "10.1016/j.entcs.2004.09.025",
}