H. R. Booher, Introduction: Human Systems Integration, Handbook of Human Systems Integration, pp.1-30, 2003.
DOI : 10.1002/0471721174.ch1

A. Hobbs, B. Adelstein, J. O-'hara, and C. Null, Three principles of human-system integration, Proceedings of the 8th Australian Aviation Psychology Symposium, 2008.

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

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

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

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

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

D. Bjorner, Domain Engineering Technology Management, Research and Engineering. COE Research Monograph Series, vol.4, p.JAIST, 2006.

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

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

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

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

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, 1988.
DOI : 10.1123/mcj.2.4.283

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

B. Mermet and D. Méry, Safe combinations of services using B, SAFECOMP 1997 The 16th International Conference on Computer Safety, Reliability and Security, 1997.
DOI : 10.1007/978-1-4471-0997-6_21

T. Leclerc, J. Siebert, V. Chevrier, L. Ciarletta, and O. Festor, Multi-modeling and Co-simulation-Based Mobile Ubiquitous Protocols and Services Development and Assessment, 7th International ICST Conference on Mobile and Ubiquitous Systems, 2010.
DOI : 10.1145/37402.37406
URL : https://hal.archives-ouvertes.fr/inria-00534575