Damm, W., Ihlemann, C., & Sofronie-Stokkermans, V. (2011). PTIME parametric verification of safety properties for reasonable linear hybrid automata. Mathematics in Computer Science, 5(4), 469-497. doi:10.1007/s11786-011-0098-x.