@inproceedings{Boerger*2002:Precise,
  title = "A Precise Semantics of {UML} State Machines: Making Semantic Variation Points and Ambiguities Explicit",
  author = "E. Boerger and A. Cavarra and E. Riccobene",
  year = "2002",
  address = "Grenoble",
  booktitle = "Proceedings of Semantic Foundations of Engineering Design Languages (SFEDL) - ETAPS",
  month = "APR",
}