R. Alur, L. Fix, and T. A. Henzinger, Event-clock automata: a determinizable class of timed automata, Theoretical Computer Science, vol.211, issue.1-2, pp.253-273, 1999.
DOI : 10.1016/S0304-3975(97)00173-4

R. Alur, T. A. Henzinger, and M. Y. Vardi, Parametric real-time reasoning, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing , STOC '93, pp.592-601, 1993.
DOI : 10.1145/167088.167242
URL : http://www-cad.eecs.berkeley.edu/~tah/Publications/parametric_real-time_reasoning.pdf

´. E. André, What's decidable about parametric timed automata?, pp.1-17, 2015.

´. E. André, T. Chatain, E. Encrenaz, and L. Fribourg, An inverse method for parametric timed automata, IJFCS, vol.20, issue.5, pp.819-836, 2009.

´. E. André, L. Fribourg, U. Kühne, and R. Soulat, IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems, FM. LNCS, 2012.
DOI : 10.1007/978-3-642-32759-9_6

´. E. André, D. Lime, and O. H. Roux, Decision Problems for Parametric Timed Automata, ICFEM. LNCS, pp.400-416, 2016.
DOI : 10.1007/3-540-46430-1_26

´. E. André, G. Lipari, H. G. Nguyen, and Y. Sun, Reachability Preservation Based Parameter Synthesis for Timed Automata, NFM. LNCS, pp.50-65
DOI : 10.1007/978-3-319-17524-9_5

´. E. André and N. Markey, Language Preservation Problems in Parametric Timed Automata, FORMATS. LNCS, pp.27-43, 2015.
DOI : 10.1007/978-3-319-22975-1_3

L. A¸stef?a¸stef?-anoaei, S. Bensalem, M. Bozga, C. Cheng, and H. Ruess, Compositional parameter synthesis, FM. LNCS, pp.60-68, 2016.

J. M. Cobleigh, G. S. Avrunin, and L. A. Clarke, Breaking up is hard to do, ACM Transactions on Software Engineering and Methodology, vol.17, issue.2, pp.1-752, 2008.
DOI : 10.1145/1348250.1348253

J. M. Cobleigh, D. Giannakopoulou, and C. S. Pasareanu, Learning Assumptions for Compositional Verification, TACAS. LNCS, pp.331-346, 2003.
DOI : 10.1007/3-540-36577-X_24

G. Frehse, S. K. Jha, and B. H. Krogh, A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata, HSCC. LNCS, 2008.
DOI : 10.1007/978-3-540-78929-1_14

T. Hune, J. Romijn, M. Stoelinga, and F. W. Vaandrager, Linear parametric model checking of timed automata, pp.52-53, 2002.

A. Jovanovi´cjovanovi´c, D. Lime, and O. H. Roux, Integer Parameter Synthesis for Real-Time Systems, IEEE Transactions on Software Engineering, vol.41, issue.5, pp.445-461, 2015.
DOI : 10.1109/TSE.2014.2357445

S. W. Lin, ´. E. André, Y. Liu, J. Sun, and J. S. Dong, Learning assumptions for compositional verification of timed systems, TSE, vol.40, issue.2, pp.137-153, 2014.