@phdthesis{VSchuppan-PhD-2006,
  author = {Viktor Schuppan},
  title  = {Liveness Checking as Safety Checking to Find Shortest Counterexamples to Linear Time Properties},
  school = {ETH Z{\"u}rich},
  year   = {2006},
  ee     = {http://e-collection.ethbib.ethz.ch/show?type=diss&nr=16268},
}