F. Mallet and R. De-simone, MARTE: a profile for RT/E systems modeling, analysis-and simulation, pp.1-8, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00371397

C. André, F. Mallet, and R. Simone, Modeling time (s)," in IC on MODELS, pp.559-573, 2007.

J. Deantoni and F. Mallet, TimeSquare: Treat your models with logical time, TOOLS'12, pp.34-41, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00688590

Y. Ying and M. Zhang, SMT-based approach to formal analysis of CCSL with tool support, Journal of Software, vol.29, issue.6, pp.1595-1606, 2018.

P. A. Laplante, The certainty of uncertainty in real-time systems, IEEE Instr. & Meas. Mag, vol.7, issue.4, pp.44-50, 2004.

G. Lipari, Real-time scheduling under uncertainty: Challenges and solutions, IC on EDiS, pp.227-227, 2017.

L. M. De-moura and N. Bjørner, Z3: An efficient SMT solver, TACAS'08, ser, vol.4963, pp.337-340, 2008.

R. Henia and L. Rioux, Formal methods for timing verification the 2015 FMTV challenge, 2015.

R. Alur and T. A. Henzinger, Parametric real-time reasoning, 1993.

H. Kwak, I. Lee, and O. Sokolsky, Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP, Science of Computer Programming, vol.42, pp.49-60, 2002.

R. Gregorian and G. C. Temes, Analog mos integrated circuits for signal processing, 1986.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Comm. ACM, vol.21, issue.7, pp.558-565, 1978.

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.

F. Mallet and R. De-simone, Correctness issues on MARTE/CCSL constraints, vol.106, pp.78-92, 2015.

M. Zhang, F. Song, and F. Mallet, SMT-based bounded schedulability analysis of the clock constraint specification language, FASE'19, ser. LNCS 11424, pp.61-78, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02080763

T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi, Times: A tool for schedulability analysis and code generation of real-time systems, FORMATS'03, ser. LNCS 2791, pp.60-72, 2003.