@InProceedings{bauer:leucker:streit:ICFEM06,
  author =	 {Andreas Bauer and Martin Leucker and Jonathan Streit},
  editor =       {Z. Liu and J. He},
  title =	 {{SALT}---{S}tructured  {A}ssertion {L}anguage for
                  {T}emporal Logic},
  booktitle =	 {Proceedings of the Eighth International Conference
                  on Formal Engineering Methods (ICFEM)},
  year =	 2006,
  series =	 {Lecture Notes in Computer Science},
  volume =	 4260,
  pages =        {757--776},
  month =	 Oct,
  publisher =	 {Springer-Verlag},
  address =      {Berlin, Heidelberg},
  isbn =         {3-540-47460-9}
}