@inproceedings{CGK18,
  author    = {H. Chockler and S. Guha and O. Kupferman},
  title     = {Timed Vacuity},
  booktitle = {Formal Methods - 22nd International Symposium},
  pages     = {438--455},
  series    = lncs,
  volume    = {10951},
  publisher = {Springer},
  year      = {2018}
  }