1. Pratiques innovantes;Askenazy;accidents du travail et charge mentale: résultats de l'enquête française sur les Conditions de travail. Pistes,2003
2. Uppaal implementation secrets;Behrmann;7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems,2002
3. “Automatic verification of finite-state concurrent systems using temporal logic specifications”;Clarke;ACM Transactions on Programming Languages and Systems,1986
4. Coupat, R., Meslay, M., Burette, M. A., Philippot, A., Annebicque, D., Riera, B., (2013) Standardized generation and Robust filtering for optimization of the mental workload of the systems engineer. 12th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS 2013), Las Vegas.
5. EN 50126. Applications ferroviaires - Spécification et démonstration de la fiabilité, de la disponibilité, de la maintenabilité et de la sécurité (FDMS) (2000). IEC 60848. Specification language GRAFCET for sequential function charts Ed. 2 (1999).