@article{DBLP:journals/infsof/BorgerCR04,
  title = "On Formalizing {UML} State Machines using {ASM}",
  author = "Egon B{\"o}rger and Alessandra Cavarra and Elvinia Riccobene",
  year = "2004",
  journal = "Information {\&} Software Technology",
  number = "5",
  pages = "287-292",
  volume = "46",
  doi = "10.1016/j.infsof.2003.09.009",
}