@inproceedings{KloseTobenWestphalWittke2006,
  author    = "Jochen Klose and Tobe Toben and Bernd Westphal and Hartmut Wittke",
  title     = "{C}heck it out: {O}n the {E}fficient {F}ormal {V}erification of {L}ife {S}equence {C}harts",
  booktitle = "Proceedings of CAV 2006",
  editor    = "Thomas Ball and Robert B. Jones",
  publisher = "Springer",
  series    = "Lecture Notes in Computer Science",
  paes      = "219-233",
  volume    = "4144",
  year      = "2006"
}