M. Soeken and R. Drechsler, Formal Specification Level -Concepts, Methods, and Algorithms, pp.978-981, 2015.
DOI : 10.1007/978-3-319-08699-6

J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 1999.

M. Object and . Group, Time Modeling in UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems, Object Management Group (OMG) Std. version 1.1, 2011

C. André, Syntax and Semantics of the Clock Constraint Specification Language (CCSL) Available: https, 2009.

M. Al-lail, W. Sun, and R. B. France, Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties, 2014 14th International Conference on Quality Software, pp.196-201, 2014.
DOI : 10.1109/QSIC.2014.56

A. E. Haxthausen, Automated generation of formal safety conditions from railway interlocking tables, International Journal on Software Tools for Technology Transfer, vol.16, issue.6, pp.713-726, 2014.
DOI : 10.1007/s10009-013-0295-9

B. Cohen, S. Venkataramanan, A. Kumari, and L. Piper, SystemVerilog Assertions Handbook: for Dynamic and Formal Verification, 2010.

P. L. Guernic, T. Gautier, J. Talpin, and L. Besnard, Polychronous Automata, 2015 International Symposium on Theoretical Aspects of Software Engineering, pp.95-102, 2015.
DOI : 10.1109/TASE.2015.21
URL : https://hal.archives-ouvertes.fr/hal-01240440

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, " ser. ICSE '99, pp.411-420, 1999.

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

A. Bauer, M. Leucker, and C. Schallhart, Runtime Verification for LTL and TLTL, ACM Transactions on Software Engineering and Methodology, vol.20, issue.4, pp.1-14, 2011.
DOI : 10.1145/2000799.2000800
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.7841

M. Autili and P. Pelliccione, Towards a Graphical Tool for Refining User to System Requirements, Electronic Notes in Theoretical Computer Science, vol.211, pp.147-157, 2008.
DOI : 10.1016/j.entcs.2008.04.037
URL : http://doi.org/10.1016/j.entcs.2008.04.037

P. Zhang, B. Li, and L. Grunske, Timed Property Sequence Chart, Journal of Systems and Software, vol.83, issue.3, pp.371-390, 2010.
DOI : 10.1016/j.jss.2009.09.013

P. Bellini and P. Nesi, TILCO-X, an extension of TILCO temporal logic, Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems, pp.15-25, 2001.
DOI : 10.1109/ICECCS.2001.930160

S. Konrad and B. H. Cheng, Real-time Specification Patterns, ICSE '05, pp.372-381, 2005.
DOI : 10.1109/icse.2005.1553580

L. , D. Guglielmo, F. Fummi, N. Orlandi, and G. Pravadelli, DDPSL: An easy way of defining properties, Computer Design (ICCD), 2010 IEEE International Conference on, pp.468-473, 2010.

M. Leucker and C. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 1999.
DOI : 10.1016/j.jlap.2008.08.004

. Cham, Monitoring Systems with Extended Live Sequence Charts, pp.48-63, 2014.

R. Gascon, F. Mallet, and J. Deantoni, Property Specification Language (PSL) Available: http://standards.ieee, Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL, 2010.

M. Object and . Group, Unified Modeling Language (UML), Superstructure Specification, Version 2.4, 2011.

J. F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, issue.11, pp.832-843, 1983.
DOI : 10.1145/182.358434

C. André, F. Mallet, and R. De-simone, Modeling time(s), " in Model Driven Engineering Languages and Systems, ser. Lecture Notes in Computer Science, 2007.

F. Mallet, Formal Modeling and Verification of Cyber-Physical Systems, MARTE/CCSL for Modeling Cyber-Physical Systems, pp.26-49, 2015.

A. M. Khan, F. Mallet, and M. Rashid, Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification Available: https, INRIA, Research Report, 2016.

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, Algebraic Methodology and Software Technology (AMAST93), pp.83-96, 1994.
DOI : 10.1007/978-1-4471-3227-1_8

A. M. Khan, TemPAC: Temporal Pattern Analyzer and Code-generator EMF plugin