@inproceedings{DBLP:conf/sac/CavarraRS04,
  title = "A Framework to Simulate {UML} Models: Moving from a Semi-Formal to a Formal Environment",
  author = "Alessandra Cavarra and Elvinia Riccobene and Patrizia Scandurra",
  year = "2004",
  booktitle = "Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004",
  editor = "Hisham Haddad and Andrea Omicini and Roger L. Wainwright and Lorie M. Liebrock",
  isbn = "1-58113-812-1",
  pages = "1519-1523",
  publisher = "ACM",
  doi = "10.1145/968204",
}