@inproceedings{Cavarra2000:Formal,
  title = "A Formal Semantics of {UML}: The {ASM} Approach",
  author = "A. Cavarra",
  year = "2000",
  address = "Ecole Centrale de Nantes, France",
  booktitle = "Modelling and Verification of Parallel Processes (MOVEP'2k)",
  editor = "F. Cassez and C. Jard and B. Rozoy and M. Ryan",
  month = "JUN",
}