@inproceedings{DBLP:conf/asm/BorgerCR00,
  title = "Modeling the Dynamics of {UML} State Machines",
  author = "Egon B{\"o}rger and Alessandra Cavarra and Elvinia Riccobene",
  year = "2000",
  booktitle = "Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verit{\`a}, Switzerland, March 19-24, 2000, Proceedings",
  editor = "Yuri Gurevich and Philipp W. Kutter and Martin Odersky and Lothar Thiele",
  isbn = "3-540-67959-6",
  pages = "223-241",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://link.springer.de/link/service/series/0558/bibs/1912/19120223.htm",
  volume = "1912",
}