T. Amagbegnon, P. Le-guernic, H. Marchand, and E. Rutten, Signal ? the specification of a generic, verified production cell controller, Formal Development of Reactive Systems -Case Study Production Cell, 1995.

T. P. Baker and O. Pazy, Real-time features for Ada 9X, [1991] Proceedings Twelfth Real-Time Systems Symposium, pp.172-180, 1991.
DOI : 10.1109/REAL.1991.160371

A. Benveniste, Synchronous languages provide safety in reactive systems design, Control Engineering, pp.87-89, 1994.

A. Benveniste and G. Berry, Real-time systems designs and programming, Proc. of the IEEE, pp.1270-1282, 1991.

G. Berry, Real time programming: Special purpose languages or general purpose languages, 11th IFIP World Congress, pp.11-17, 1989.
URL : https://hal.archives-ouvertes.fr/inria-00075494

G. Berry, Preemption in concurrent systems, 13 th Conf. on Foundations of Software Technology and Theoretical Computer Science, 1993.
DOI : 10.1007/3-540-57529-4_44

F. Boussinot and R. Simone, The ESTEREL language, Proc. of the IEEE, pp.1293-1304, 1991.
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075

F. Chaumette, S. Boukir, P. Bouthemy, and D. Juvin, Optimal estimation of 3D structures using visual servoing, Proceedings of IEEE Conference on Computer Vision and Pattern Recognition CVPR-94, pp.347-354, 1994.
DOI : 10.1109/CVPR.1994.323850

E. Coste-manire, B. Espiau, and E. Rutten, A task-level robot programming language and its reactive execution, Proceedings 1992 IEEE International Conference on Robotics and Automation, pp.2751-2756, 1992.
DOI : 10.1109/ROBOT.1992.219990

S. Donikian and E. Rutten, Reactivity, concurrency, data-flow and hierarchical preemption for behavioral animation, Eurographics Workshop on Programming Paradigms in Graphics, 1995.

B. Espiau, F. Chaumette, and P. Rives, A new approach to visual servoing in robotics, IEEE Transactions on Robotics and Automation, vol.8, issue.3, pp.313-326, 1992.
DOI : 10.1109/70.143350

N. Halbwachs, Synchronous programming of reactive systems, Kluwer, 1993.

D. Harel and A. Pnueli, On the Development of Reactive Systems, Logics and Models of Concurrent Systems, pp.477-498, 1985.
DOI : 10.1007/978-3-642-82453-1_17

C. A. Hoare, Communicating Sequential Process, 1985.

M. Jourdan, F. Lagnier, F. Maraninchi, and F. Raymond, A multiparadigm language for reactive systems, Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94), 1994.
DOI : 10.1109/ICCL.1994.288379

P. , L. Guernic, M. Le-borgne, T. Gautier, and C. L. Maire, Programming real time application with SIGNAL, Proc. of the IEEE, pp.1321-1336, 1991.

C. Lewerentz and T. Lindner, Formal Development of reactive systems, Lecture Notes in Computer Science, vol.891, 1995.
DOI : 10.1007/3-540-58867-1

E. Marchand and F. Chaumette, Controlled camera motions for scene reconstruction and exploration, Proceedings CVPR IEEE Computer Society Conference on Computer Vision and Pattern Recognition, pp.169-176, 1996.
DOI : 10.1109/CVPR.1996.517070

E. Marchand, E. Rutten, and F. Chaumette, From data-flow task to multitasking: applying the synchronous approach to active vision in robotics, IEEE Transactions on Control Systems Technology, vol.5, issue.2, pp.200-216, 1997.
DOI : 10.1109/87.556025
URL : https://hal.archives-ouvertes.fr/hal-01074722

H. Marchand, E. Rutten, and M. Samaan, Synchronous design of a transformer station controller with SIGNAL, Proceedings of International Conference on Control Applications, 1995.
DOI : 10.1109/CCA.1995.555843

R. Milner, A Calculus of Communicating Systems. Number 92 in Lecture Notes in Computer Science, 1980.

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-97, 1989.
DOI : 10.1109/5.21072

E. Rutten and P. L. Guernic, Sequencing of data flow tasks in SIGNAL, In ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, 1994.

D. Simon, B. Espiau, E. Castillo, and K. Kapellos, Computer-aided design of a generic robot controller handling reactivity and real-time control issues, IEEE Transactions on Control Systems Technology, vol.1, issue.4, pp.213-229, 1993.
DOI : 10.1109/87.260267
URL : https://hal.archives-ouvertes.fr/inria-00074872

Y. Sorel, Massively parallel computing systems with real time constraints: the "Algorithm Architecture Adequation" methodology, Proceedings of the First International Conference on Massively Parallel Computing Systems (MPCS) The Challenges of General-Purpose and Special-Purpose Computing, 1994.
DOI : 10.1109/MPCS.1994.367018

A. D. Thomas, M. G. Rodd, J. D. Holt, and C. J. Neill, Real-time Industrial Visual Inspection: A Review, Real-Time Imaging, vol.1, issue.2, pp.139-158, 1995.
DOI : 10.1006/rtim.1995.1014

.. Visual-servoing-control, 9 Estimation of Structure From Controlled Motion

R. Strategies-for-complex-scenes and .. , 15 Sequencing vision tasks, p.16