A temporal dynamic logic for verifying hybrid system invariants

@TECHREPORT{DBLP:conf/lfcs/Platzer07:TR,
	ref = {DBLP:conf/lfcs/Platzer07},

  author    = {Andr{\'e} Platzer},
  title     = {A Temporal Dynamic Logic for Verifying
               Hybrid System Invariants},
  number    = {12},
  year      = {2007},
  month     = {Feb},
  editor    = {Bernd Becker and
               Werner Damm and
               Martin Fr{\"a}nzle and
               Ernst-R{\"u}diger Olderog and
               Andreas Podelski and
               Reinhard Wilhelm},
  institution = {Reports of {SFB/TR~14 AVACS}},
  type     = {Reports of {SFB/TR~14 AVACS}},
  series    = {ATR},
  note      = {ISSN: 1860-9821, http://www.avacs.org.},
  pdf={http://www.avacs.org/Publikationen/Open/avacs_technical_report_012.pdf},
}```