C. Alexander, A city is not a tree, Design magazine, 1996.

S. Aloui and V. Chapurlat, A System Modeling and Analysis Framework for Risk Analysis The best of France, Socio-technical Systems, 2008.

S. K. Card, T. P. Moran, and A. Newell, The Psychology of Human-Computer Interaction, 1986.

V. Chapurlat and S. Aloui, How to Detect Risks with a Formal Approach? " From Property Specification, Simulation Verification and Validation of Enterprise Information Systems, The 4th International Workshop on Modelling, 2006.

V. Chapurlat and M. Roque, Interoperability Constraints and Requirements Formal Modelling and Checking Framework, International Conference Advances in Production Management Systems (APMS'09), 2009.
DOI : 10.1007/978-3-642-16358-6_28
URL : https://hal.archives-ouvertes.fr/hal-01055850

V. Chapurlat and N. Daclin, System interoperability: definition and proposition of interface model in MBSE Context, to appear in INCOM 2012, IFAC's triennal symposium Information Control problems in Manufacturing System Engineering Methods, 1967.

F. Hamilton, Predictive evaluation using task knowledge structures, Conference companion on Human factors in computing systems common ground, CHI '96, pp.261-262, 1996.
DOI : 10.1145/257089.257312

I. Lime, D. Roux, O. H. Seidner, C. Traonouez, and L. M. , Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches, 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. LCNS (5505), pp.54-57, 2004.
DOI : 10.1007/11513988_41

P. M. Merlin, A Study of Recoverability of Computing Systems, 1974.

P. Micouin, Toward a property based requirements theory: System requirements structured as a semilattice, System Engineering, pp.235-245, 2008.
DOI : 10.1002/sys.20097

G. Mori, F. Paternò, and C. Santoro, CTTE: support for developing and analyzing task models for interactive system design, IEEE Transactions on Software Engineering, vol.28, issue.8, 2002.
DOI : 10.1109/TSE.2002.1027801

F. Paternò, Model-Based Design and Evaluation of Interactive Applications, 1999.
DOI : 10.1007/978-1-4471-0445-2

C. Schlenoff, M. Gruninger, M. Ciocoiu, and J. Lee, The Essence of the Process Specification Language " . Special Issue on Modeling and Simulation of Manufacturing Systems in the Transactions of the Society for Computer Simulation, 1999.

C. Seidner and O. H. Roux, Formal Methods for Systems Engineering Behavior Models, IEEE Transactions on Industrial Informatics, vol.4, issue.4, pp.280-291, 2008.
DOI : 10.1109/TII.2008.2008998
URL : https://hal.archives-ouvertes.fr/hal-00489291

C. Seidner, Vérification des eFFBD : Model-checking en Ingénierie Système, 2009.

C. Seidner, J. P. Lerat, and O. H. Roux, 5.4.1 Simulation and Verification of [Dys]functional Behavior Models: Model Checking for SE, 20th International Symposium of the IN- COSE, 2010.
DOI : 10.1002/j.2334-5837.2010.tb01097.x

. Yahoda, Formal verification tools overview web site, 2003.