Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, et al.. Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces.
Science of Computer Programming, Elsevier, 2012, 77 (10-11), pp.1122-1150.
⟨hal-00760387⟩