S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet et al., Runtime enforcement of timed properties revisited, Formal Methods in System Design, vol.10, issue.3, pp.381-422, 2014.
DOI : 10.1007/s10703-014-0215-y

URL : https://hal.archives-ouvertes.fr/hal-01088136

Y. Falcone, K. Havelund, and G. Reger, A tutorial on runtime verification. In: Engineering Dependable Software Systems, pp.141-175, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00853727

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

J. Bengtsson and W. Yi, Timed Automata: Semantics, Algorithms and Tools, Proceedings of the 4th Advanced Course on Petri Nets -Lecture Notes on Concurrency and Petri Nets, pp.87-124, 2003.
DOI : 10.1007/978-3-540-27755-2_3

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

V. Gruhn and R. Laue, Patterns for Timed Property Specifications, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.117-133, 2006.
DOI : 10.1016/j.entcs.2005.10.035

S. Pinisetty, TiPEX website. http://srinivaspinisetty.github.io/ Timed-Enforcement-Tools, 2015.