@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} }