@inproceedings{Cavarra&Riccobene2001:Simulating,
  title = "Simulating Statecharts",
  author = "A. Cavarra and E. Riccobene",
  year = "2001",
  address = "Canary Islands, Spain",
  booktitle = "ASM 2001 Workshop, EUROCAST 2001",
  editor = "R. Moreno-Diaz and A. Quesada-Arencibia",
  month = "FEB",
}