Damm, W., Dierks, H., Disch, S., Hagemann, W., Pigorsch, F., Scholl, C., et al. (2012). Exact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces. Science of Computer Programming, 77, 1122-1150. doi:10.1016/j.scico.2011.07.006.