O. and U. Profile, Object Management Group, pp.9-11, 2009.

C. André, F. Mallet, and R. De-simone, Modeling Time(s), Lecture Notes in Computer Science, G. Engels, B, vol.4735, pp.559-573, 2007.
DOI : 10.1007/978-3-540-75209-7_38

C. André, Syntax and semantics of the clock constraint specification language (CCSL), INRIA, Research Report, vol.6925, 2009.

E. A. Lee and A. L. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998.
DOI : 10.1109/43.736561

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826
URL : http://www.cs.columbia.edu/~sedwards/papers/benveniste2003synchronous.pdf

J. Axel and I. Sander, Models of computation and languages for embedded system design, IEE Proceedings on Computers and Digital Techniques, Special issue on Electronic System Design, pp.114-129, 2005.

C. André and F. Mallet, Specification and verification of time requirements with CCSL and Esterel, pp.167-176, 2009.

C. André, Verification of clock constraints: CCSL observers in Esterel, INRIA, Research Report, vol.7211, 2010.

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, AMAST '93: Proceedings of the Third International Conference on Methodology and Software Technology, pp.83-96, 1994.
DOI : 10.1007/978-1-4471-3227-1_8

L. Aceto, A. Burgueño, and K. G. Larsen, Model checking via reachability testing for timed automata, TACAS, ser. Lecture Notes in Computer Science, pp.263-280, 1998.
DOI : 10.1007/bfb0054177
URL : http://www.brics.dk/RS/97/Ref/BRICS-RS-97-Ref/../../../../RS/97/29/BRICS-RS-97-29.ps.gz

S. Bensalem, M. Bozga, M. Krichen, and S. Tripakis, Testing Conformance of Real-Time Applications by Automatic Generation of Observers, Electronic Notes in Theoretical Computer Science, vol.113, pp.23-43, 2005.
DOI : 10.1016/j.entcs.2004.01.036

B. B. Hedia, F. Jumel, and J. Babau, Formal evaluation of quality of service for data acquisition, FDL. ECSI, pp.579-589, 2005.

A. Mehmood-khan, F. Mallet, C. André, and R. De-simone, IP-XACT components with abstract time characterization, Forum on specification, 2009.

L. P. Carloni, K. L. Mcmillan, A. Saldanha, and A. L. Sangiovanni-vincentelli, A methodology for correct-by-construction latency insensitive design, pp.309-315, 1999.

J. Buck, D. Wang, and Y. Zhu, Formal model construction using HDL simulation semantics, 2007 IEEE International High Level Design Validation and Test Workshop, pp.115-122, 2007.
DOI : 10.1109/HLDVT.2007.4392797

G. Berry, The foundations of Esterel Language and Interaction: Essays in Honour of, Proof, 2000.

E. A. Lee, Modeling concurrent real-time processes using discrete events, Annals of Software Engineering, vol.7, issue.1/4, pp.25-45, 1999.
DOI : 10.1023/A:1018998524196