R. Drechsler, M. Soeken, and R. Wille, Formal Specification Level: Towards verification-driven design based on natural language processing, Proc. of FDL, pp.53-58, 2012.

, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, 2011.

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

J. Peters, R. Wille, N. Przigoda, U. Kühne, and R. Drechsler, A generic representation of CCSL time constraints for UML/MARTE models, Proc. of DAC, vol.122, pp.1-122, 2015.

M. Zhang, F. Dai, and F. Mallet, Periodic scheduling for MARTE/CCSL: Theory and practice, Science of Computer Programming, vol.154, pp.42-60, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01670450

E. Kang and P. Schobbens, Schedulability analysis support for automotive systems: from requirement to implementation, Proc. of SAC, pp.1080-1085, 2014.

J. Peters, R. Wille, and R. Drechsler, Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL, Proc. of ICECCS, pp.116-125, 2014.

J. Peters, N. Przigoda, R. Wille, and R. Drechsler, Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models, Proc. of MEMOCODE, pp.78-84, 2016.

F. Mallet and R. Simone, Correctness issues on MARTE/CCSL constraints. Science of Computer Programming, vol.106, pp.78-92, 2015.

M. Zhang and Y. Ying, Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems, Proc. of LCTES, pp.61-70, 2017.

A. Albarghouthi, I. Dillig, and A. Gurfinkel, Maximal specification synthesis, Proc. of POPL, pp.789-801, 2016.

S. Jha, S. Gulwani, S. A. Seshia, and A. Tiwari, Oracle-guided component-based program synthesis, Proc. of ICSE, pp.215-224, 2010.

A. Solar-lezama, Program sketching, International Journal on Software Tools for Technology Transfer (STTT), vol.15, issue.5-6, pp.475-495, 2013.

J. Jeon, X. Qiu, J. Fetter-degges, J. S. Foster, and A. Solar-lezama, Synthesizing framework models for symbolic execution, Proc. of ICSE, pp.156-167, 2016.

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time, Proc. of TOOLS, pp.34-41, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00688590