D. Bjorner, Software Engineering 1 Abstraction and Modelling. Theoretical Computer Science, An EATCS Series, 2006.

D. Bjorner, Software Engineering 2 Specification of Systems and Languages. Theoretical Computer Science, An EATCS Series, 2006.

D. Bjorner, Domain Engineering Technology Management, Research and Engineering. COE Research Monograph Series, vol.4, 2009.

H. R. Booher, Introduction: Human Systems Integration, In: Handbook of human systems integration, Booher H.R, pp.1-30, 2003.

D. Cansell and D. Méry, The Event-B Modelling Method: Concepts and Case Studies, in "Logics of specifi-cation languages, Monographs in Theoretical Computer Science, pp.47-152, 2008.

G. A. Chauvet, Hierarchical Functional Organization of Formal Biological Systems: A Dynamical Approach. I. The Increase of Complexity by Self-Association Increases the Domain of Stability of a Biological System, Philosophical Transactions of the Royal Society B: Biological Sciences, vol.339, issue.1290, pp.425-444, 1993.
DOI : 10.1098/rstb.1993.0040

G. A. Chauvet, Hierarchical Functional Organization of Formal Biological Systems: A Dynamical Approach. II. The Concept of Non-Symmetry Leads to a Criterion of Evolution Deduced from an Optimum Principle of the (O-FBS) Sub-System, Philosophical Transactions of the Royal Society B: Biological Sciences, vol.339, issue.1290, pp.445-461, 1993.
DOI : 10.1098/rstb.1993.0041

G. A. Chauvet, Hierarchical Functional Organization of Formal Biological Systems: A Dynamical Approach. III. The Concept of Non-Locality Leads to a Field Theory Describing the Dynamics at Each Level of Organization of the (D-FBS) Sub-System, Philosophical Transactions of the Royal Society B: Biological Sciences, vol.339, issue.1290, pp.463-481, 1993.
DOI : 10.1098/rstb.1993.0042

G. A. Chauvet, ON THE MATHEMATICAL INTEGRATION OF THE NERVOUS TISSUE BASED ON THE S-PROPAGATOR FORMALISM I: THEORY, Journal of Integrative Neuroscience, vol.01, issue.01, pp.31-68, 2002.
DOI : 10.1142/S0219635202000049

P. Delattre, Système, structure, fonction, évolution : essai d'analyse épistémologique (2 ème édition, Maloine, 1985.

C. De-'sperati and P. Viviani, The relationship between curvature and velocity in twodimensional smooth pursuit eye movements, Journal of Neurosciences, vol.17, issue.10, pp.3932-3945, 1997.

L. S. Ehrhart and A. P. Sage, User-centrerd systems engineering framework, In: Handbook of human systems integration, Booher H.R, pp.295-373, 2003.

D. C. Engelbart, Augmenting human intellect: a conceptual framework, AFOSR-3233 Summary Report, 1960.

D. Fass, RATIONALE FOR A MODEL OF HUMAN SYSTEMS INTEGRATION: THE NEED OF A THEORETICAL FRAMEWORK, Journal of Integrative Neuroscience, vol.05, issue.03, pp.333-354, 2006.
DOI : 10.1142/S0219635206001239

D. Fass, Integrative Physiological Design: A Theoretical and Experimental Approach of Human Systems Integration, HCII 2007, pp.52-61, 2007.
DOI : 10.1007/978-3-540-73331-7_6

D. Fass, Virtual Environment a Behavioral and Countermeasure Tool for Assisted Gesture in Weightlessness: Experiments during Parabolic Flight, Journal of Gravitational Physiology, vol.12, issue.1, pp.19-20, 2005.

D. Fass and R. Lieber, Rationale for human modelling in human in the loop systems design, 2009 3rd Annual IEEE Systems Conference, pp.978-979, 2009.
DOI : 10.1109/SYSTEMS.2009.4815766
URL : https://hal.archives-ouvertes.fr/hal-00394608

M. Ghafouri and F. Lestienne, Contribution of reference frames for movement planning in peripersonal space representation, Experimental Brain Research, vol.13, issue.1, pp.24-36, 2006.
DOI : 10.1007/s00221-005-0121-z

V. Gurfinkel, F. Lestienne, Y. S. Levik, K. E. Popov, and L. Et-lefort, Egocentric references and human spatial orientation in microgravity, Experimental Brain Research, vol.225, issue.2, pp.343-348, 1993.
DOI : 10.1007/BF00229792

C. Haskins, Systems Engineering Handbook: a guide for processes and activities, International Council on Systems Engineering (INCOSE), 2010.

J. Kelso, An Essay on Understanding the Mind, Ecological Psychology, vol.316, issue.2, pp.180-208, 2008.
DOI : 10.1080/10407410801949297

F. Malnoy, . D. Fass, and F. Lestienne, Vection and postural activity: application to virtual environment design, La lettre de l'IA, pp.134-136, 1998.

D. Méry and N. K. Singh, Trustable Formal Specification for Software Certification, ISoLA 2010, Part II, pp.312-326, 2010.
DOI : 10.1007/978-3-642-16561-0_31

M. E. Nissen and R. M. Burton, What is human system integration?, Nasa -Human System Integration Division Designing organizations for dynamic fit: system stability, manoeuvrability, and opportunity loss, IEEETransactions on Systems, Man and Cybernetics-Part A: Systems and Humans, pp.418-433, 2011.

M. C. Roco and W. S. Brainbridge, Converging technologies for improving human performance, National Science Foundation, 2002.
DOI : 10.1007/978-94-017-0359-8

O. Sporns and G. Edelman, Bernstein's Dynamic View of the Brain: The Current Problems of Modern Neurophysiology (1945), Motor Control, vol.2, issue.4, pp.283-305, 1945.
DOI : 10.1123/mcj.2.4.283

P. Viviani, P. Burkhard, S. Chiuvé, C. Corradi-dell-'acqua, and P. Vindras, Velocity control in Parkinson???s disease: a quantitative analysis of isochrony in scribbling movements, Erratum in: Exp Brain Res, pp.259-83285, 2009.
DOI : 10.1007/s00221-008-1695-z