C. André, F. Mallet, R. , and S. , Modeling Time(s), Proceedings of Model Driven Engineering Languages and Systems (MoDELS'07), pp.559-573, 2007.
DOI : 10.1007/978-3-540-75209-7_38

L. Besnard, T. Gautier, and P. L. Guernic, SIGNAL reference manual

P. Boulet, Formal Semantics of ARRAY-OL, a Domain Specific Language for Intensive Multidimensional Signal Processing, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00261178

P. Boulet, Array-OL revisited, multidimensional intensive signal processing specification, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00128840

P. , L. Guernic, J. Talpin, and J. Lann, Polychrony for System Design, Journal for Circuits, Systems and Computers, vol.12, issue.3, pp.261-304, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00730480

I. M. Smarandache, T. Gautier, and P. L. Guernic, Validation of mixed signal-alpha real-time systems through affine calculus on clock synchronisation constraints, World Congress on Formal Methods, pp.1364-1383, 1999.
DOI : 10.1007/3-540-48118-4_22
URL : https://hal.archives-ouvertes.fr/hal-00548887