@InProceedings{UrbanGurfinkelKahsai16,
  author       = {C. Urban and A. Gurfinkel and T. Kahsai},
  title        = {Synthesizing Ranking Functions from Bits and Pieces},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  editor       = {M. Chechik and R. Mateescu and J.-F. Raskin},
  year         = {2016},
  series       = {LNCS},
  publisher    = {Springer-Verlag},
  pages = {54--70},
  url = {https://doi.org/10.1007/978-3-662-49674-9_4},
  urltext = {[Publisher]}
}