1. Eidson, J., Lee, E. A., Matic, S., Seshia, S. A., & Zou, J. (2012). Distributed real-time software for cyber-physical systems. Proceedings of the IEEE (Special Issue on CPS), 100(1), 45–59.
2. Duggirala, P. S. Johnson, T. T, Zimmerman, A., et al. (2012). Static and dynamic analysis of timed distributed traces. Proceedings of the 2012 I.E. 33rd Real-Time Systems Symposium (pp. 173–182). IEEE.
3. Liu, J., Liu, Z., He, J., Frédéric, M., & Ding, Z. (2013). Hybrid MARTE statecharts. Frontiers of Computer Science, 7(1), 95–108.
4. Frédéric, M. (2008). Clock constraint specification language: Specifying clock constraints with UML/MARTE. Innovations in Systems and Software Engineering, 4(3), 309–314.
5. Regis, G., Frederic, M., & Julien, D. (2011). Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL. In Proceedings of the International Workshop on Temporal Representation and Reasoning (pp. 141–148). IEEE.