Ihlemann, Carsten Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
http://www.avacs.org/fileadmin/Publikationen/Open/avacs_technical_report_070.pdf (Any fulltext)
Damm, W., Ihlemann, C., & Sofronie-Stokkermans, V.(2011). PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata (ATR70). SFB/TR 14 AVACS.