1. André, C.: Syntax and semantics of the clock constraint specification language (ccsl). Research Report 6925, INRIA (May 2009)
2. Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., De Simone, R.: The synchronous languages twelve years later. Proceedings of the IEEE, 64–83 (2003)
3. Deantoni, J., Mallet, F., Thomas, F., Reydet, G., Babau, J.-P., Mraidha, C., Gauthier, L., Rioux, L., Sordon, N.: RT-simex: retro-analysis of execution traces. In: In, K.J., Sullivan, G.-C. (eds.) SIGSOFT FSE, Santa Fe, États-Unis, pp. 377–378 (2010) ISBN 978-1-60558-791-2
4. Fidge, C.: Logical time in distributed computing systems. Computer 24(8), 28–33 (2002)
5. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558–565 (1978)