@InProceedings{bauer:leucker:NFM11,
  author =	 {Andreas Bauer and Martin Leucker},
  editor =       {M Bobaru and K. Havelund and G. Holzmann and R. Joshi},
  title =	 {The Theory and Practice of {SALT}},
  booktitle =	 {Proceedings of the 3rd NASA Formal Methods Symposium (NFM)},
  year =	 2011,
  series =	 {Lecture Notes in Computer Science},
  volume =	 6617,
  pages =        {13--40},
  month =	 Apr,
  publisher =	 {Springer-Verlag},
  address =      {Berlin, Heidelberg},
  isbn =         {}
}