@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 (FMCAV'08),
                  Portland, Oregon},
  pages =	 {},
  year =	 2008,
  editor =	 {A.~Cimatti and R.~Jones},
  volume =	 {},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer},
  url =
                  {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/HagTin-FMCAD-08.pdf},
}