1. T. P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten, Specification, Implementation and Verification of a Production Cell with Signal. IRISA/INRIA-Rennes, research report. (to appear)
2. P. Bournai, P. Le Guernic Un environnement graphique pour le langage signal. IRISA/ INRIA-Rennes, research report N∘741, July 1993. (In French)
3. B. Dutertre. Spécification et preuve de systèmes dynamiques. Ph.D. thesis, University of Rennes 1, France, December 1992. (In French)
4. M. Le Borgne, B. Dutertre, A. Benveniste and P. Le Guernic. Dynamical Systems over Galois Fields, In Proc. of the Second European Control Conference (ECC 93), Groningen, 1993.
5. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire. Programming Real-Time Applications with signal. Another look at real-time programming, special section of Proceedings of the IEEE, 79(9), September 1991.