@article{DammWestphal2005,
  author       = "Werner Damm and Bernd Westphal",
  title        = {Live and Let Die: {LSC}-based Verification of {UML}-Models},
  year         = "2005",
  journal      = "Science of Computer Programming",
  volume       = "55",
  number       = "1--3",
  month        = mar,
  pages        = "117--159"
}