R. Alur, Timed automata, Proceedings of the 11th International Conference on Computer Aided Verification, CAV '99, pp.8-22, 1999.

R. Alur, T. Feder, and T. A. Henzinger, The benefits of relaxing punctuality, Journal of the ACM, vol.43, issue.1, pp.116-146, 1996.
DOI : 10.1145/227595.227602

M. Bartoletti, P. Degano, G. L. Ferrari, and R. Zunino, Model checking usage policies, Trustworthy Global Computing, pp.19-35, 2009.

A. Bauer, M. Leucker, and C. Schallhart, Monitoring of Real-Time Properties, FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, pp.260-272, 2006.
DOI : 10.1007/11944836_25

A. Bauer, M. Leucker, and C. Schallhart, Runtime Verfication for LTL and TLTL, 2007.

G. Boole, The calculus of logic. The Cambridge and Dublin Mathematical Journal, p.1848

A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri, NuSMV: A New Symbolic Model Verifier, Proceedings of the 11th International Conference on Computer Aided Verification, CAV '99, pp.495-499, 1999.
DOI : 10.1007/3-540-48683-6_44
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.7038

G. Costa, F. Martinelli, P. Mori, C. Schaefer, and T. Walter, Runtime monitoring for next generation Java ME platform, Computers & Security, vol.29, issue.1, 2009.
DOI : 10.1016/j.cose.2009.07.005
URL : https://hal.archives-ouvertes.fr/inria-00458909

L. Desmet, W. Joosen, F. Massacci, and K. Naliuka, The S3MS.NET Run Time Monitor, Electronic Notes in Theoretical Computer Science, vol.253, issue.5, pp.153-159, 2009.
DOI : 10.1016/j.entcs.2009.11.021

G. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

D. Kozen, Results on the propositional ??-calculus, Theoretical Computer Science, vol.27, issue.3, pp.333-354, 1983.
DOI : 10.1016/0304-3975(82)90125-6

F. Martinelli and I. Matteucci, Through Modeling to Synthesis of Security Automata, Electronic Notes in Theoretical Computer Science, vol.179, pp.31-46, 2007.
DOI : 10.1016/j.entcs.2006.08.029

R. Mettala, Bluetooth Protocol Architecture (Version 1.0). Nokia Mobile Phones, 1999.

C. George and . Necula, Proof-carrying code, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '97, pp.106-119, 1997.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32