@inproceedings{biere02liveness,
  author = {A. Biere and C. Artho and V. Schuppan},
  title = {Liveness Checking as Safety Checking},
  booktitle = {Proc.\ 7th Int.\  Workshop on Formal Methods for Industrial Critical Systems (FMICS'02)},
  series = "ENTCS",
  volume = {66},
  number = {2},
  publisher = {Elsevier},
  address = "Málaga, Spain",
  year = {2002},
}