@techreport{tum-i0604,
  author =	 "Andreas Bauer and Martin Leucker
                  and Jonathan Streit",
  year =	 2006,
  title =	 "{SALT}---{S}tructured {A}ssertion {L}anguage for {T}emporal Logic",
  number =	 "TUM-I0604",
  month =	 Mar,
  institution =	 {Institut f\"ur Informatik, Technische Universit\"at
                  M\"unchen}
}