G. Behrmann, A. Cougnard, A. David, E. Fleury, K. G. Larsen et al., Uppaal-tiga: Time for playing games! In 19th Int, Conf. CAV LNCS, vol.4590, pp.121-125, 2007.

. Th, V. Brihaye, J. Bruyère, and . Raskin, On optimal timed strategies, 3rd Int. Conf. FORMATS'05, pp.49-64, 2005.

F. Cassez, A. David, K. G. Larsen, D. Lime, and J. Raskin, Timed Control with Observation Based and Stuttering Invariant Strategies, 5th Int. Symp. ATVA, pp.192-206, 2007.
DOI : 10.1007/978-3-540-75596-8_15
URL : https://hal.archives-ouvertes.fr/inria-00363028

G. Frehse, Phaver: Algorithmic verification of hybrid systems past hytech, Int. Journal on Software Tools for Technology Transfer (STTT), vol.1, issue.12, 1997.

G. Frehse, Phaver: Algorithmic verification of hybrid systems past hytech, 8th Int. Work. HSCC 2005, pp.258-273, 2005.

H. Hermanns, K. S. Mittermüller, T. Van-kuppeveld-storbank-pedersen, and P. Hougaard, Preliminary descriptions of case studies, Confidential Document, 2008.

J. J. Jessen, J. I. Rasmussen, K. G. Larsen, and A. David, Guided Controller Synthesis for Climate Controller Using Uppaal Tiga, 5th Int. Conf. FORMATS 2007, pp.227-240, 2007.
DOI : 10.1007/978-3-540-75454-1_17