@inproceedings{Cavarra&Riccobene2000:Modeling,
  title = "Modeling the Dynamics of {UML} Behavioral Diagrams",
  author = "A. Cavarra and E. Riccobene",
  year = "2000",
  address = "Pisa",
  booktitle = "FORTE/PSTV 2000",
  month = "OCT",
  note = "Poster",
}