@inproceedings{WestphalToben2006,
  author       = "Bernd Westphal and Tobe Toben",
  title        = "The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts",
  year         = "2006",
  crossref     = "ProcFASE2006",
  pages        = "230--246"
}

@proceedings{ProcFASE2006,
  editor    = {Luciano Baresi and Reiko Heckel},
  title     = {Fundamental Approaches to Software Engineering, 9th International
               Conference, FASE 2006, Held as Part of the Joint European
               Conferences on Theory and Practice of Software, ETAPS 2006,
               Vienna, Austria, March 27-31, 2006, Proceedings},
  booktitle = {FASE},
  publisher = {Springer-Verlag},
  series    = {Lecture Notes in Computer Science},
  number    = {3922},
  year      = {2006},
  isbn      = {3-540-33093-3}
}