A. V. Ramanathan-g, « Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems », Formal Asp, Comput, vol.3, issue.3, pp.253-283, 1997.

C. A. , L. D. , and R. C. Zaidi-f, « Hit-or-Jump : An Algorithm for Embedded Testing with Applications to IN Services », Formal Methods for Protocol Engineering And Distributed Systems, pp.41-56, 1999.

C. A. Oca-e and M. W. Lallali-m, « Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints, The 12-th IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 2008.

C. F. Cuppens-boulahia, . Sans-t, and . Nomad, A Security Model with Non Atomic Actions and Deadlines, pp.186-196, 2005.

M. W. Mallouli and C. A. , « Integration of Timed Security Policies within a TEFSM Specification, 2008.

R. C. , Z. A. Ferreira-p, «. Guedes-p, and . Spl, An Access Control Language for Security Policies with Complex Constraints, Proceedings of the Network and Distributed System Security Symposium, 2001.