@inproceedings{wassermann2006vcf,
  title={{Validity Checking for Finite Automata over Linear Arithmetic}},
  author={Gary Wassermann and Zhendong Su},
  booktitle={Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science},
  address={Kolkata, India},
  month=dec,
  year={2006},
  publisher={Springer-Verlag}
}