@InProceedings{HagTin-FMCAD-08,
  author =	 {George Hagen and Cesare Tinelli},
  title =	 {Scaling up the formal verification of {L}ustre
                  programs with {SMT}-based techniques},
  booktitle =	 {Proceedings of the 8th International Conference on
                  Formal Methods in Computer-Aided Design (Portland,
                  Oregon)},
  pages =	 {109--117},
  year =	 2008,
  editor =	 {A.~Cimatti and R.~Jones},
  publisher =	 {IEEE},
  url =
                  {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/HagTin-FMCAD-08.pdf},
}