@article{Cavarra*2005:Mapping,
  title = "Mapping {UML} into Abstract State Machines: A Framework to Simulate {UML} Models",
  author = "A. Cavarra and E. Riccobene and P. Scandurra",
  year = "2005",
  journal = "Studia Informatica Universalis",
  note = "To appear",
}